aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRCoreEngine.cpp
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2009-12-23For inter-procedural analysis, predecessor node may be in another function.Zhongxing Xu
2009-12-16Add (initial?) static analyzer support for handling C++ references.Ted Kremenek
2009-11-28lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam
2009-11-11Refactor DereferenceChecker to use only the new Checker API instead ofTed Kremenek
2009-10-07Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding mal...Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-25Remove Decl and CFG from ExplodedGraph. This leads to a series small changes.Zhongxing Xu
2009-08-17To make the analysis independent on the locally stored liveness and cfgZhongxing Xu
2009-08-15Extend the ProgramPoint to include the context information LocationContext,Zhongxing Xu
2009-08-06Last step of template cleanup: merge *BuilderImpl to *Builder.Zhongxing Xu
2009-08-06Core analysis engine template cleanup step 2:Zhongxing Xu
2009-08-06Core analysis engine template cleanup step 2: Zhongxing Xu
2009-08-06As GRState seems general enough, it is time to merge some template classes Zhongxing Xu
2009-07-22Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek
2009-07-22Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.Ted Kremenek
2009-07-20Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the caseTed Kremenek
2009-07-15Delete extra whitespaces.Zhongxing Xu
2009-05-09More hacking on autorelease errors. We now can emit basic errors (disabled forTed Kremenek
2009-05-08Make BlockEntrace program points taggable.Ted Kremenek
2009-05-07analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek
2009-05-01Add a new BFS GRWorkList and make it the default worklist model forTed Kremenek
2009-04-11Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek
2009-02-19Added a new method to GRStmtNodeBuilder to build nodes using an arbitraryTed Kremenek
2008-12-16Add new GRWorkList class that uses two queues:Ted Kremenek
2008-11-12Add (preliminary) transfer function support for ObjCForCollectionStmt. Still...Ted Kremenek
2008-10-17Fixed an elusive caching bug in ExplodedGraph construction when a PostStmtKin...Ted Kremenek
2008-09-16ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek
2008-08-26Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode().Ted Kremenek
2008-08-13Fix memory leak found by Sam Bishop: delete WList in the dstor of GRCoreEngin...Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
2008-06-20Modified the dead stores checker to...Ted Kremenek
2008-06-18Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point disti...Ted Kremenek
2008-04-29Major rewrite/refactoring of static analysis engine. We now useTed Kremenek
2008-04-18Fixed more caching bugs related to the one fixed in r49914. SilenceTed Kremenek
2008-04-18Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the nod...Ted Kremenek
2008-04-16Bug fix in GREndPathNodeBuilderImpl: Use the specified state to constructTed Kremenek
2008-04-11Added "GREndPathNodeBuilder", a new node builder that will be used forTed Kremenek
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-30 00:22:34 +0000