aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BugReporter.cpp
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-15Teach BugReporter to "escape" the occurance of '%' characters in diagnostic m...Ted Kremenek
2010-01-15Convert a few more uses of std::string& to llvm::StringRef.Ted Kremenek
2009-12-04Teach 'ExecutionContinues' (part of BugReporter's diagnostic generation) abou...Ted Kremenek
2009-11-29Port BugReporter and BugType to StringRef.Benjamin Kramer
2009-11-28lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam
2009-10-07Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding mal...Ted Kremenek
2009-09-18Re-introduce diagnostic caching in BugReporter that was originally added inTed Kremenek
2009-09-18Revert most of r82198, which was causing a large number of crashesTed Kremenek
2009-09-18Introduce caching of diagnostics in BugReporter. This provides extraTed Kremenek
2009-09-15Fix typo in comment.Ted Kremenek
2009-09-14Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a callTed Kremenek
2009-09-14Implement FIXME: free up BugReportEquivClass objects when deleting BugTypes.Ted Kremenek
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-10Make AnalysisManager stateless. Now other analyzer components only depends onZhongxing Xu
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-09-05Do not call FlushReports() in GRBugReporter's dtor. We already call it inZhongxing Xu
2009-08-25Remove CodeDecl and CFG from GRExprEngine and GRStateManager.Zhongxing Xu
2009-08-25Remove Decl and CFG from ExplodedGraph. This leads to a series small changes.Zhongxing Xu
2009-08-20Rename: ProgramPoint::getContext() => ProgramPoint::getLocationContext().Zhongxing Xu
2009-08-19Get the Decl from the current ExplodedNode. Eventually the diagnostic clientZhongxing Xu
2009-08-18Remove unused parameter BugReporter due to previous patch.Zhongxing Xu
2009-08-18Now we can get the CFG from the ProgramPoint. No need to pass in the Zhongxing Xu
2009-08-18Enhance static analyzer diagnostics by introducing a new 'EnhancedBugReporter'Ted Kremenek
2009-08-06Core analysis engine template cleanup step 2: Zhongxing Xu
2009-08-06As GRState seems general enough, it is time to merge some template classes Zhongxing Xu
2009-07-29add a fixmeZhongxing Xu
2009-07-28Fix helper function GetNextStmt() to look for the first statement that has aTed Kremenek
2009-07-22Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek
2009-07-16Move the source-level CFG from libAST to libAnalysis.Ted Kremenek
2009-06-30Remove the ASTContext parameter from the getBody() methods of Decl and subcla...Argyrios Kyrtzidis
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-23API cleanup: move more methods from GRStateManager to GRState.Ted Kremenek
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-05-16Fix another bug in BugReporter where we wouldn't always select the bug report...Ted Kremenek
2009-05-15BugReporter (extensive diagnostics): Do not include the range of target '}'Ted Kremenek
2009-05-15BugReporter (extensive diagnostics): Add control-flow piece to '}' inTed Kremenek
2009-05-11BugReport::getEndPath() - Only add a Stmt's range to the constructed PathDiag...Ted Kremenek
2009-05-11EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location con...Ted Kremenek
2009-05-11EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constru...Ted Kremenek
2009-05-11BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for can...Ted Kremenek
2009-05-10analyzer:Ted Kremenek
2009-05-07Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek
2009-05-06Refactor BugReporter interface to have a new 'BugReporterContext' andTed Kremenek
2009-05-05BugReporter (extensive diagnostics): improve location context generation for theTed Kremenek
2009-05-05BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reasonTed Kremenek
2009-05-04BugReporter (extensive diagnostics): don't mark location contexts that areTed Kremenek
2009-05-01BugReporter (extensive diagnostics): introduce the notion of a "dead"Ted Kremenek
2009-05-01Remove #if 0'ed code.Ted Kremenek
2009-04-29Fix null dereference.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-30 02:19:45 +0000