summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/GRCoreEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* To make the analysis independent on the locally stored liveness and cfgZhongxing Xu2009-08-171-1/+1
* Extend the ProgramPoint to include the context information LocationContext,Zhongxing Xu2009-08-151-22/+30
* Last step of template cleanup: merge *BuilderImpl to *Builder.Zhongxing Xu2009-08-061-54/+47
* Core analysis engine template cleanup step 2:Zhongxing Xu2009-08-061-15/+41
* Core analysis engine template cleanup step 2: Zhongxing Xu2009-08-061-18/+18
* As GRState seems general enough, it is time to merge some template classes Zhongxing Xu2009-08-061-27/+27
* Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek2009-07-221-2/+2
* Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.Ted Kremenek2009-07-221-2/+5
* Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the caseTed Kremenek2009-07-201-3/+10
* Delete extra whitespaces.Zhongxing Xu2009-07-151-1/+1
* More hacking on autorelease errors. We now can emit basic errors (disabled forTed Kremenek2009-05-091-1/+0
* Make BlockEntrace program points taggable.Ted Kremenek2009-05-081-6/+7
* analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek2009-05-071-0/+3
* Add a new BFS GRWorkList and make it the default worklist model forTed Kremenek2009-05-011-1/+23
* Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek2009-04-111-12/+14
* Added a new method to GRStmtNodeBuilder to build nodes using an arbitraryTed Kremenek2009-02-191-4/+7
* Add new GRWorkList class that uses two queues:Ted Kremenek2008-12-161-5/+63
* Add (preliminary) transfer function support for ObjCForCollectionStmt. Still...Ted Kremenek2008-11-121-3/+18
* Fixed an elusive caching bug in ExplodedGraph construction when a PostStmtKin...Ted Kremenek2008-10-171-0/+3
* ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek2008-09-161-12/+8
* Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode().Ted Kremenek2008-08-261-1/+1
* Fix memory leak found by Sam Bishop: delete WList in the dstor of GRCoreEngin...Ted Kremenek2008-08-131-0/+3
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-8/+10
* Modified the dead stores checker to...Ted Kremenek2008-06-201-13/+0
* Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point disti...Ted Kremenek2008-06-181-2/+20
* Major rewrite/refactoring of static analysis engine. We now useTed Kremenek2008-04-291-4/+7
* Fixed more caching bugs related to the one fixed in r49914. SilenceTed Kremenek2008-04-181-3/+1
* Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the nod...Ted Kremenek2008-04-181-1/+2
* Bug fix in GREndPathNodeBuilderImpl: Use the specified state to constructTed Kremenek2008-04-161-1/+1
* Added "GREndPathNodeBuilder", a new node builder that will be used forTed Kremenek2008-04-111-9/+27
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-0/+444
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-04 23:08:06 +0000