summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] +commentsAnna Zaks2012-04-161-0/+2
* Remove the unused, unmaintained, incomplete 'Index' library.Douglas Gregor2012-04-131-17/+0
* [analyzer] PCH deserialization optimization.Anna Zaks2012-04-123-4/+6
* [analyzer] Add support for C++ dynamic_cast.Anna Zaks2012-04-101-3/+12
* [analyzer] + commentsAnna Zaks2012-04-101-0/+4
* Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek2012-04-062-8/+24
* [analyzer]Fix false positive: pointer might escape through CG*WithData.Anna Zaks2012-04-061-0/+1
* Require that all static analyzer issues have a category. As part of this cha...Ted Kremenek2012-04-052-19/+24
* [analyzer] Add a coverage calculation to FunctionSummaries.Anna Zaks2012-04-051-0/+10
* Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek2012-04-042-18/+46
* [analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks2012-04-034-33/+105
* Analyzer: Store BugReports directly in a ilist instead of adding another laye...Benjamin Kramer2012-04-011-31/+36
* [analyzer] Do not inline functions which previously reached max blockAnna Zaks2012-03-302-1/+31
* [analyzer] Enable retry exhausted without inlining by default.Anna Zaks2012-03-281-4/+4
* [analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks2012-03-283-8/+14
* [analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks2012-03-275-5/+45
* [analyzer] Fix a typo.Anna Zaks2012-03-271-1/+1
* Don't cast away constness.Benjamin Kramer2012-03-241-1/+1
* [analyzer] Restart path diagnostic generation if any of the visitors change t...Jordy Rose2012-03-241-9/+19
* [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able ...Jordy Rose2012-03-241-4/+43
* Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek2012-03-232-5/+13
* [analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks2012-03-213-7/+24
* [analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks2012-03-211-0/+15
* StaticAnalyzer: Fix abuse of StringRef in r152962.NAKAMURA Takumi2012-03-171-1/+1
* [analyzer] Shorten the stack hint diagnostic.Anna Zaks2012-03-161-1/+1
* [analyzer] Create symbol-aware stack hints (building upon r152837).Anna Zaks2012-03-161-10/+61
* [analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ...Jordy Rose2012-03-151-3/+0
* [analyzer] Allow checkers to supply call stack diagnostic hints for theAnna Zaks2012-03-151-2/+29
* [analyzer] A fixup to r152734. Always initialize the flag.Anna Zaks2012-03-141-2/+2
* [analyzer] Diagnostics: Supply Caller information even if the bug occursAnna Zaks2012-03-141-3/+10
* [Analyser] Removes more recursive visitations in ExprEngine that are noErik Verbruggen2012-03-141-10/+0
* Add new analyzer diagnostic mode where plists can have bugs that span multipl...Ted Kremenek2012-03-121-0/+4
* Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie2012-03-113-6/+6
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-102-8/+17
* [analyzer] Add support for NoRedundancy inlining mode.Anna Zaks2012-03-093-10/+10
* [AST/etc] Mark {getSourceRange(),getStartLoc(),getEndLoc()} as LLVM_READONLY.Daniel Dunbar2012-03-091-1/+2
* [analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek2012-03-093-31/+54
* [analyzer] Rework inlining related command line options.Anna Zaks2012-03-081-5/+10
* Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek2012-03-061-0/+6
* [analyzer] add a diagnostic event when entering a call via inlining, within t...Ted Kremenek2012-03-061-0/+3
* Remove a recursive visitation in ExprEngine that is no longer needed because ...Erik Verbruggen2012-03-041-10/+0
* [analyzer] Bound the size of the functions being inlined + provideAnna Zaks2012-03-021-10/+23
* [analyzer] Malloc: A pointer might escape through CFContainers APIs,Anna Zaks2012-02-291-0/+29
* [analyzer diagnostics] Refactor filtration for PathDiagnosticConsumers that d...Ted Kremenek2012-02-281-0/+4
* [analyzer diagnostics] start prototyping stripping PathDiagnostics of unneces...Ted Kremenek2012-02-282-3/+13
* [analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek2012-02-281-1/+39
* [analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek2012-02-272-11/+0
* Reapply r151317, but when computing the PathDiagnostic profile and size keep ...Ted Kremenek2012-02-242-42/+67
* Revert r151317 - Rework PathDiagnostics creation.. - to appease buildbots.Chad Rosier2012-02-242-62/+37
* Rework PathDiagnostic creation so that call stacks are captured by a nested P...Ted Kremenek2012-02-242-37/+62