summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* Change ExprEngine::shouldInlineDecl() to be defensive in checking if the CFG ...Ted Kremenek2012-04-171-0/+5
* [analyzer] Fix a false alarm in SelfInitChecker (radar://11235991).Anna Zaks2012-04-161-5/+20
* Add an AttributedStmt type to represent a statement with C++11 attributesRichard Smith2012-04-141-0/+1
* Remove the unused, unmaintained, incomplete 'Index' library.Douglas Gregor2012-04-133-25/+1
* [analyzer] PCH deserialization optimization.Anna Zaks2012-04-122-20/+68
* [analyzer] dynamic_cast Simplify null value generation.Anna Zaks2012-04-111-8/+2
* [analyzer] Don't crash even when the system functions are redefined.Anna Zaks2012-04-103-7/+72
* [analyzer] dynamic_cast: Better model cast from a reference.Anna Zaks2012-04-102-13/+16
* [analyzer] Add support for C++ dynamic_cast.Anna Zaks2012-04-102-5/+129
* Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek2012-04-065-51/+72
* [analyzer] Check that the arguments to NSOrderedSet creation methods are vali...Jordy Rose2012-04-061-0/+12
* Require that all static analyzer issues have a category. As part of this cha...Ted Kremenek2012-04-0513-20/+39
* Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek2012-04-051-1/+6
* Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex m...Ted Kremenek2012-04-051-3/+6
* [analyzer] Move stats calculation out of AnalysisConsumer destructor.Anna Zaks2012-04-051-7/+8
* [analyzer] Change warding in a path diagnostic:Anna Zaks2012-04-051-1/+1
* [analyzer] Remove redundant if statement (pointed out by Ted).Anna Zaks2012-04-051-4/+0
* Look through chains of 'x = y = z' when employing silencing heuristics in the...Ted Kremenek2012-04-041-8/+30
* Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek2012-04-0418-61/+131
* Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagn...Ted Kremenek2012-04-041-12/+8
* [analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks2012-04-036-7/+68
* Fix another false positive in RegionStore involving doing loads from symbolic...Ted Kremenek2012-04-031-7/+18
* Fix potential null dereference in the static analyzer when inlining a call th...Ted Kremenek2012-04-021-4/+5
* Analyzer: Store BugReports directly in a ilist instead of adding another laye...Benjamin Kramer2012-04-014-18/+13
* [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert.Anna Zaks2012-03-303-0/+16
* [analyzer] Do not inline functions which previously reached max blockAnna Zaks2012-03-303-4/+15
* [analyzer] Enable retry exhausted without inlining by default.Anna Zaks2012-03-283-5/+5
* [analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks2012-03-282-26/+20
* [analyzer] Refactor: Use Decl when determining if the Block belongs toAnna Zaks2012-03-281-7/+6
* Fix suspicious comparison reported by PVS-Studio!Ted Kremenek2012-03-281-1/+1
* [analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks2012-03-275-71/+182
* [analyzer] Stats checker: minor interprocedural tweaks.Anna Zaks2012-03-271-15/+20
* [analyzer] Stats: Only count the number of times we run path sensitiveAnna Zaks2012-03-271-2/+3
* Change RetainCountChecker to eagerly "escape" retained objects when they areTed Kremenek2012-03-271-0/+6
* [analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue.Anna Zaks2012-03-261-1/+2
* [analyzer] Tighten up the realloc() failure path note generation...make sure ...Jordy Rose2012-03-241-22/+31
* [analyzer] Restart path diagnostic generation if any of the visitors change t...Jordy Rose2012-03-242-34/+65
* [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able ...Jordy Rose2012-03-243-3/+13
* Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek2012-03-233-7/+13
* corrected check::EndOfTranslationUnit checker name and added 'const' to decla...Anton Yartsev2012-03-231-3/+3
* Fix static analyzer crash on code taking the address of a field. Fixes PR 11...Ted Kremenek2012-03-221-0/+7
* [analyzer] Add the stat for the number of successfully explored paths.Anna Zaks2012-03-221-1/+5
* [analyzer] Add stats useful for coverage investigations.Anna Zaks2012-03-222-0/+24
* [analyzer] Add inlining awareness to the block coverage computationAnna Zaks2012-03-221-5/+12
* "Teach" RetainCountChecker about dispatch_set_context, which can indirectly f...Ted Kremenek2012-03-221-0/+8
* [analyzer] Malloc: drop symbols captured by blocks.Anna Zaks2012-03-221-0/+42
* Remove unused variable, fix indentation.Benjamin Kramer2012-03-211-7/+5
* [analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks2012-03-213-18/+65
* [analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks2012-03-212-33/+19
* [analyzer] Mark a failed-realloc's result as an interesting symbol between th...Jordy Rose2012-03-181-3/+27