aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-04-12[analyzer] PCH deserialization optimization.Anna Zaks
2012-04-11[analyzer] dynamic_cast Simplify null value generation.Anna Zaks
2012-04-10[analyzer] dynamic_cast: Better model cast from a reference.Anna Zaks
2012-04-10[analyzer] Add support for C++ dynamic_cast.Anna Zaks
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek
2012-04-05Require that all static analyzer issues have a category. As part of this cha...Ted Kremenek
2012-04-05Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek
2012-04-05[analyzer] Change warding in a path diagnostic:Anna Zaks
2012-04-05[analyzer] Remove redundant if statement (pointed out by Ted).Anna Zaks
2012-04-04Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek
2012-04-04Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagn...Ted Kremenek
2012-04-03[analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks
2012-04-03Fix another false positive in RegionStore involving doing loads from symbolic...Ted Kremenek
2012-04-02Fix potential null dereference in the static analyzer when inlining a call th...Ted Kremenek
2012-04-01Analyzer: Store BugReports directly in a ilist instead of adding another laye...Benjamin Kramer
2012-03-30[analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert.Anna Zaks
2012-03-30[analyzer] Do not inline functions which previously reached max blockAnna Zaks
2012-03-28[analyzer] Enable retry exhausted without inlining by default.Anna Zaks
2012-03-28[analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks
2012-03-28Fix suspicious comparison reported by PVS-Studio!Ted Kremenek
2012-03-27[analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks
2012-03-24[analyzer] Restart path diagnostic generation if any of the visitors change t...Jordy Rose
2012-03-23Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek
2012-03-22Fix static analyzer crash on code taking the address of a field. Fixes PR 11...Ted Kremenek
2012-03-22[analyzer] Add the stat for the number of successfully explored paths.Anna Zaks
2012-03-22[analyzer] Add stats useful for coverage investigations.Anna Zaks
2012-03-21[analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks
2012-03-21[analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks
2012-03-17StaticAnalyzer: Fix abuse of StringRef in r152962.NAKAMURA Takumi
2012-03-16[analyzer] Shorten the stack hint diagnostic.Anna Zaks
2012-03-16[analyzer] Create symbol-aware stack hints (building upon r152837).Anna Zaks
2012-03-16[analyzer] +CommentsAnna Zaks
2012-03-16[analyzer] Add a statistic for the number of times we reach the maxAnna Zaks
2012-03-16Fix analyzer crash on analyzing 'catch' with no condition variable.Ted Kremenek
2012-03-15[analyzer] If a metadata symbol is interesting, its region is interesting as ...Jordy Rose
2012-03-15[analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ...Jordy Rose
2012-03-15[analyzer] Allow checkers to supply call stack diagnostic hints for theAnna Zaks
2012-03-14'#if 0' out a variable that's only used in other preprocessor-disabled code.Matt Beaumont-Gay
2012-03-14[analyzer] Diagnostics: Supply Caller information even if the bug occursAnna Zaks
2012-03-14[Analyser] Remove unnecessary recursive visits for ExprWithCleanups andErik Verbruggen
2012-03-14[Analyser] Removes more recursive visitations in ExprEngine that are noErik Verbruggen
2012-03-13[analyser] Refactor shouldInline logic into a helper.Anna Zaks
2012-03-13[analyzer] Call enter/exit diagnostic should refer to caller/callee,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-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-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