summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
...
* [analyzer] Use a FoldingSet to cache simple RetainSummary instances, rather t...Jordy Rose2012-03-181-40/+58
* [analyzer] Unify retain-count summary generation for class and instance metho...Jordy Rose2012-03-171-53/+26
* [analyzer] Remove duplicate work on deriving method behavior. No functionalit...Jordy Rose2012-03-171-83/+74
* StaticAnalyzer: Fix abuse of StringRef in r152962.NAKAMURA Takumi2012-03-171-1/+1
* [analyzer] Don't claim an object was returned with +1 retain count before cou...Jordy Rose2012-03-171-4/+8
* [analyzer] Shorten the stack hint diagnostic.Anna Zaks2012-03-162-9/+12
* [analyzer] Create symbol-aware stack hints (building upon r152837).Anna Zaks2012-03-163-20/+142
* [analyzer] +CommentsAnna Zaks2012-03-161-5/+9
* [analyzer] Add a statistic for the number of times we reach the maxAnna Zaks2012-03-161-1/+10
* Fix analyzer crash on analyzing 'catch' with no condition variable.Ted Kremenek2012-03-161-0/+5
* [analyzer] If a metadata symbol is interesting, its region is interesting as ...Jordy Rose2012-03-151-1/+6
* [analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ...Jordy Rose2012-03-153-78/+1
* [analyzer] Allow checkers to supply call stack diagnostic hints for theAnna Zaks2012-03-153-5/+51
* '#if 0' out a variable that's only used in other preprocessor-disabled code.Matt Beaumont-Gay2012-03-141-0/+2
* [analyzer] Diagnostics: Supply Caller information even if the bug occursAnna Zaks2012-03-142-7/+12
* [Analyser] Remove unnecessary recursive visits for ExprWithCleanups andErik Verbruggen2012-03-142-24/+19
* [Analyser] Removes more recursive visitations in ExprEngine that are noErik Verbruggen2012-03-141-86/+10
* [analyser] Refactor shouldInline logic into a helper.Anna Zaks2012-03-131-8/+19
* [analyzer] Call enter/exit diagnostic should refer to caller/callee,Anna Zaks2012-03-131-8/+6
* [analyzer] Change the order in which we analyze the functions underAnna Zaks2012-03-131-7/+11
* [analyzer] Use BFS over call graph when analysing functions.Anna Zaks2012-03-131-22/+38
* [analyzer] Refactor CallGraph to use Recursive AST visitor whenAnna Zaks2012-03-131-6/+5
* [analyzer] Use recursive AST visitor to drive simple visitation order inAnna Zaks2012-03-131-106/+95
* [analyzer] Minor: factor out logic for determining if we should skip aAnna Zaks2012-03-131-4/+13
* [analyzer] Move the check for parser errors out of the loop over Decls.Anna Zaks2012-03-131-5/+5
* Add new analyzer diagnostic mode where plists can have bugs that span multipl...Ted Kremenek2012-03-121-2/+15
* [analyzer] Include inlining call stack depth in plist output.Ted Kremenek2012-03-121-12/+24
* Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie2012-03-1113-28/+28
* [analyzer] Replace a static helper with existing logic. No functionality change.Jordy Rose2012-03-111-26/+18
* Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr toJohn McCall2012-03-103-13/+4
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-104-13/+72
* Teach RetainCountChecker about mixing method families with explicit annotatio...Ted Kremenek2012-03-091-0/+30
* [analyzer] Add support for NoRedundancy inlining mode.Anna Zaks2012-03-093-32/+54
* [analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek2012-03-0919-266/+230
* [analyzer] Use call graph to determine order in which functions areAnna Zaks2012-03-081-7/+88
* [analyzer] Rework inlining related command line options.Anna Zaks2012-03-082-8/+15
* Add a basic CallGraph to Analysis.Anna Zaks2012-03-082-0/+49
* AST representation for user-defined literals, plus just enough of semanticRichard Smith2012-03-071-1/+2
* Add static analyzer support for new NSArray/NSDictionary/NSNumber literals.Ted Kremenek2012-03-063-31/+128
* [analyzer] add a diagnostic event when entering a call via inlining, within t...Ted Kremenek2012-03-063-5/+38
* [analyzer] 'Looping back to the head of the loop' diagnostics are prunable.Ted Kremenek2012-03-061-0/+1
* [analyzer] Remove now-unused constant. No functionality change.Jordy Rose2012-03-061-2/+0
* [analyzer] Fix unnecessary dyn_cast_or_null. No functionality change.Jordy Rose2012-03-061-2/+2
* Teak CallAndMessageChecker to only warn about uninitialized struct fields in ...Ted Kremenek2012-03-051-2/+18
* Teach SimpleSValBuilder that (in the absence of more information) stack memor...Ted Kremenek2012-03-051-0/+18
* [analyzer] Time the execution (per each TU) with -analyzer-stats.Anna Zaks2012-03-051-2/+18
* [analyzer] False positive in SelfInit - teach the checker about methodAnna Zaks2012-03-051-10/+35
* [analyzer] Malloc should assume that ownership is transfered whenAnna Zaks2012-03-051-1/+10
* Remove a recursive visitation in ExprEngine that is no longer needed because ...Erik Verbruggen2012-03-041-53/+15
* [analyzer] do not warn about returning stack-allocated memory when it comes f...Ted Kremenek2012-03-031-10/+18