aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2012-03-13[analyzer] Minor: factor out logic for determining if we should skip aAnna Zaks
2012-03-13[analyzer] Move the check for parser errors out of the loop over Decls.Anna Zaks
2012-03-12Add new analyzer diagnostic mode where plists can have bugs that span multipl...Ted Kremenek
2012-03-12[analyzer] Include inlining call stack depth in plist output.Ted Kremenek
2012-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
2012-03-11[analyzer] Replace a static helper with existing logic. No functionality change.Jordy Rose
2012-03-10Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr toJohn McCall
2012-03-10[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek
2012-03-09Teach RetainCountChecker about mixing method families with explicit annotatio...Ted Kremenek
2012-03-09[analyzer] Add support for NoRedundancy inlining mode.Anna Zaks
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-03-08[analyzer] Use call graph to determine order in which functions areAnna Zaks
2012-03-08[analyzer] Rework inlining related command line options.Anna Zaks
2012-03-08Add a basic CallGraph to Analysis.Anna Zaks
2012-03-07AST representation for user-defined literals, plus just enough of semanticRichard Smith
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-06[analyzer] 'Looping back to the head of the loop' diagnostics are prunable.Ted Kremenek
2012-03-06[analyzer] Remove now-unused constant. No functionality change.Jordy Rose
2012-03-06[analyzer] Fix unnecessary dyn_cast_or_null. No functionality change.Jordy Rose
2012-03-05Teak CallAndMessageChecker to only warn about uninitialized struct fields in ...Ted Kremenek
2012-03-05Teach SimpleSValBuilder that (in the absence of more information) stack memor...Ted Kremenek
2012-03-05[analyzer] Time the execution (per each TU) with -analyzer-stats.Anna Zaks
2012-03-05[analyzer] False positive in SelfInit - teach the checker about methodAnna Zaks
2012-03-05[analyzer] Malloc should assume that ownership is transfered whenAnna Zaks
2012-03-04Remove a recursive visitation in ExprEngine that is no longer needed because ...Erik Verbruggen
2012-03-03[analyzer] do not warn about returning stack-allocated memory when it comes f...Ted Kremenek
2012-03-02[analyzer diagnostics] flush locations *before* popping the current path when...Ted Kremenek
2012-03-02[analyzer] Bound the size of the functions being inlined + provideAnna Zaks
2012-03-02[analyzer diagnostics] Change CompactPathDiagnostic to recursively compact di...Ted Kremenek
2012-03-01Teach the analyzer to just ignore CXXBindTemporaryExpr. There's nothing spec...Ted Kremenek
2012-03-01[analyzer] Fix a regression introduced in malloc withAnna Zaks
2012-03-01Move llvm/ADT/SaveAndRestore.h -> llvm/Support/SaveAndRestore.h.Argyrios Kyrtzidis
2012-03-01[analyzer] Diagnostics - do not try to cleanup the path with macros, itAnna Zaks
2012-03-01Change if...else if...else if... to a switch.Ted Kremenek
2012-02-29[analyzer] when scanning FIDs in a PathDiagnostic, correctly recurse calls an...Ted Kremenek
2012-02-29[analyzer] Malloc: A pointer might escape through CFContainers APIs,Anna Zaks
2012-02-29Remove a recursive visitiation in ExprEngine that is no longer neededErik Verbruggen
2012-02-29[analyzer] Tweak the UnreachableCode checker to not warning about unreachable...Ted Kremenek
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] Leaks should be uniqued by the allocation point in theAnna Zaks
2012-02-28[analyzer] Retain release: drop the line number info from the leakAnna Zaks
2012-02-28[analyzer] Stats: Add the stats about remove dead bindings, correct theAnna Zaks
2012-02-28[analyzer] Leaks should be uniqued by the allocation point in theAnna Zaks
2012-02-28[analyzer] Fix Malloc False Positive (PR 12100)Anna Zaks
2012-02-28[analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek
2012-02-27[analyzer] Leaks should be uniqued by the allocation point in theAnna Zaks
2012-02-27[analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have t...Ted Kremenek
2012-02-27[analyzer] Add -analyzer-stats, which hooks up LLVM stats tracking.Anna Zaks