summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* Fix typo: objc_no_direct_instance_variable_assignmemt => objc_no_direct_insta...Ted Kremenek2012-12-222-3/+3
* [analyzer] Convert SimpleStreamChecker to use the PointerEscape callbackAnna Zaks2012-12-221-80/+16
* [analyzer] Re-apply r170826 and make the dumping of the GallGraphAnna Zaks2012-12-211-44/+18
* Remove duplicate includes.Roman Divacky2012-12-211-1/+0
* [analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks2012-12-216-18/+15
* Revert r170826. The output ofRafael Espindola2012-12-211-18/+44
* [analyzer] Traverse the Call Graph in topological order.Anna Zaks2012-12-211-44/+18
* [analyzer] Add blocks and ObjC messages to the call graph.Anna Zaks2012-12-211-30/+18
* Update RetainCountChecker to understand attribute ns_returns_autoreleased.Ted Kremenek2012-12-201-4/+6
* [analyzer] Add the pointer escaped callback.Anna Zaks2012-12-2010-116/+204
* Pass AnalyzerOptions to PathDiagnosticConsumer to make analyzer options acces...Ted Kremenek2012-12-194-14/+28
* Don't include the header outside the include guards, it defeats the purpose o...Argyrios Kyrtzidis2012-12-171-2/+2
* [analyzer] Tweak the NumFunctionsAnalyzed stat so that it's more useful.Anna Zaks2012-12-171-3/+5
* [analyzer] Implement "do not inline large functions many times"Anna Zaks2012-12-172-2/+19
* fixed line endingsAnton Yartsev2012-12-141-22/+22
* added post-statement callback to CXXNewExpr and pre-statement callback to CXX...Anton Yartsev2012-12-141-15/+22
* [analyzer] Propagate the checker's state from checkBranchConditionAnna Zaks2012-12-141-3/+3
* [analyzer] Refactor: Store visited Decls instead of CallGraphNodes.Anna Zaks2012-12-141-24/+22
* Refactor dump methods to make RegionBindingsRef printable in the debugger.Ted Kremenek2012-12-141-9/+16
* [analyzer] Fix doc error (wrong param name) in ObjCSuperCallChecker.Jordan Rose2012-12-131-1/+1
* [analyzer] Generalize ObjCMissingSuperCallChecker.Jordan Rose2012-12-131-43/+109
* [analyzer] Fix a self-init checker false positive.Anna Zaks2012-12-131-2/+7
* [analyzer] Don't crash running destructors for multidimensional arrays.Jordan Rose2012-12-121-1/+2
* [analyzer] Don't generate a summary for "freeWhenDone" if method isAnna Zaks2012-12-111-0/+3
* [analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks2012-12-073-20/+66
* [analyzer] Fix r168019 to work with unpruned paths as well.Jordan Rose2012-12-071-24/+44
* Reduce conversions between Store <-> ImmutableMapRef in RegionStore.Ted Kremenek2012-12-071-147/+151
* Add helper method to convert from a RegionStoreRefBindings to a Store.Ted Kremenek2012-12-071-8/+13
* Cache queries to lookupPrivateMethod() within ObjCMethodCall::getRuntimeDefin...Ted Kremenek2012-12-071-1/+29
* Further reduce analysis time by 0.2% on a heavy Objective-C example by avoidi...Ted Kremenek2012-12-071-8/+9
* Unbreak the GCC (4.4 & other bot) builds from r169571.David Blaikie2012-12-071-2/+4
* Change RegionStore to always use ImmutableMapRef for processing cluster bindi...Ted Kremenek2012-12-071-224/+250
* Revert "[analyzer] Aggressively cut back on the canonicalization in RegionSto...Ted Kremenek2012-12-061-37/+31
* [analyzer] Remove isa<> followed by dyn_cast<>.Jordan Rose2012-12-061-7/+6
* [analyzer] Remove unused fields from ExprEngine.Jordan Rose2012-12-062-17/+10
* [analyzer] Remove checks that predate the linearized CFG.Jordan Rose2012-12-061-10/+1
* [analyzer] Simplify RetainCountChecker's handling of dead symbols.Jordan Rose2012-12-061-29/+24
* [analyzer] Use a smarter algorithm to find the last block in an inlined call.Jordan Rose2012-12-061-18/+3
* [analyzer] Use optimized assumeDual for branches.Jordan Rose2012-12-061-6/+12
* [analyzer] Aggressively cut back on the canonicalization in RegionStore.Jordan Rose2012-12-061-31/+37
* [analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose2012-12-063-90/+7
* Only provide explicit getCapturedRegion() and getOriginalRegion() from refere...Ted Kremenek2012-12-064-4/+4
* Pull logic to map from VarDecl* to captured region using a helper function. ...Ted Kremenek2012-12-061-17/+24
* Use 'getOriginalRegion()' rather than going through the logic to recreate it.Ted Kremenek2012-12-061-3/+1
* Add missing virtual destructors reported by -Wnon-virtual-dtor.Daniel Jasper2012-12-051-0/+2
* [analyzer] Implement an opt-in variant of direct ivar assignment.Anna Zaks2012-12-052-9/+57
* Alphabetize source files, just like they have been before.Ted Kremenek2012-12-041-1/+1
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-0484-217/+212
* Add raw_ostream include to pacify MSVC.Benjamin Kramer2012-12-011-0/+1
* Include pruning and general cleanup.Benjamin Kramer2012-12-0123-1/+23
OpenPOWER on IntegriCloud