aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-03-14[analyzer] Diagnostics: Supply Caller information even if the bug occursAnna Zaks
2012-03-14[Analyser] Removes more recursive visitations in ExprEngine that are noErik Verbruggen
2012-03-12Add new analyzer diagnostic mode where plists can have bugs that span multipl...Ted Kremenek
2012-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
2012-03-10[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek
2012-03-09[analyzer] Add support for NoRedundancy inlining mode.Anna Zaks
2012-03-09[AST/etc] Mark {getSourceRange(),getStartLoc(),getEndLoc()} as LLVM_READONLY.Daniel Dunbar
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-03-08[analyzer] Rework inlining related command line options.Anna Zaks
2012-03-06Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek
2012-03-06[analyzer] add a diagnostic event when entering a call via inlining, within t...Ted Kremenek
2012-03-04Remove a recursive visitation in ExprEngine that is no longer needed because ...Erik Verbruggen
2012-03-02[analyzer] Bound the size of the functions being inlined + provideAnna Zaks
2012-02-29[analyzer] Malloc: A pointer might escape through CFContainers APIs,Anna Zaks
2012-02-28[analyzer diagnostics] Refactor filtration for PathDiagnosticConsumers that d...Ted Kremenek
2012-02-28[analyzer diagnostics] start prototyping stripping PathDiagnostics of unneces...Ted Kremenek
2012-02-28[analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek
2012-02-27[analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek
2012-02-24Reapply r151317, but when computing the PathDiagnostic profile and size keep ...Ted Kremenek
2012-02-24Revert r151317 - Rework PathDiagnostics creation.. - to appease buildbots.Chad Rosier
2012-02-24Rework PathDiagnostic creation so that call stacks are captured by a nested P...Ted Kremenek
2012-02-23[analyzer] Malloc: unique leak reports by allocation site.Anna Zaks
2012-02-20Basic: import IntrusiveRefCntPtr<> into clang namespaceDylan Noblesmith
2012-02-18Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...Ted Kremenek
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-02-16Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine....Ted Kremenek
2012-02-16Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also h...Ted Kremenek
2012-02-16Minor cleanup to node data structures in ExplodedGraph. No functionality cha...Ted Kremenek
2012-02-14[analyzer] Make Malloc Checker optimistic in presence of inlining.Anna Zaks
2012-02-13[analyzer] Malloc checker: rework realloc handling:Anna Zaks
2012-02-13StaticAnalyzer/Core: fix MSVC buildDylan Noblesmith
2012-02-08Change PathDiagnosticPieces to be reference counted (simplifying their manage...Ted Kremenek
2012-02-08Refactor pieces of PathDiagnostic into its own data structure. No functional...Ted Kremenek
2012-02-07Create PathDiagnosticCallEnter and PathDiagnosticCallExit, to remark calls in...Ted Kremenek
2012-02-07[analyzer] Allow each CString check to be enabled/disabledAnna Zaks
2012-02-07Add basic BugReporter support for CallEnter/CallExit. WIP.Ted Kremenek
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-02-04StaticAnalyzer: Remove FixIts from PathDiagnosticPieces.Benjamin Kramer
2012-01-31[analyzer] Add checks for common anti-patterns in strncat.Anna Zaks
2012-01-31Reapply r149311 which I reverted by mistake.Argyrios Kyrtzidis
2012-01-31Revert r149311 which failed to compile.Argyrios Kyrtzidis
2012-01-31Minor refactor within ExplodedGraph::reclaimRecentlyAllocatedNodes(). No fun...Ted Kremenek
2012-01-31Convert ProgramStateRef to a smart pointer for managing the reference counts ...Ted Kremenek
2012-01-31Convert more uses of 'const ProgramState *' to 'ProgramStateRef' (and related...Ted Kremenek
2012-01-30[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.Anna Zaks
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-25Rework flushing of diagnostics to PathDiagnosticConsumer. Now all the report...Ted Kremenek
2012-01-25Reduce peak memory usage of the static analyzer on sqlite3 (when using inlini...Ted Kremenek
2012-01-23Remove extraneous ';'.Bill Wendling