aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/ProgramPoint.h
AgeCommit message (Expand)Author
2009-11-16Fix condition in LocationCheck::classof(). Thanks to Marius Wachtler for poi...Ted Kremenek
2009-11-11Refactor DereferenceChecker to use only the new Checker API instead ofTed Kremenek
2009-10-26Update location of DataTypes.h to reflect move in LLVM with r85086.Chandler Carruth
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-20Rename: ProgramPoint::getContext() => ProgramPoint::getLocationContext().Zhongxing Xu
2009-08-15Extend the ProgramPoint to include the context information LocationContext,Zhongxing Xu
2009-07-22Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek
2009-07-22Add 'PreStmt' program point. This will be used to represent checking forTed Kremenek
2009-07-22Restructure ProgramPoint to have the 'Kind' value be its own instanceTed Kremenek
2009-07-16Move the source-level CFG from libAST to libAnalysis.Ted Kremenek
2009-05-13Add PostStmt::getStmtAs(). This unbreaks the build.Ted Kremenek
2009-05-08Make BlockEntrace program points taggable.Ted Kremenek
2009-05-07analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek
2009-04-11Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek
2009-04-10Add arbitrary "tags" to ProgramPoints. While this fattens up ProgramPoint evenTed Kremenek
2009-02-19ProgramPoint::Profile now specially handles PostStmtCustom (hashes on tag and...Ted Kremenek
2009-02-09Refine PostStmtCustom to reference a tagged data pair with the tag to indicat...Ted Kremenek
2009-02-09Added a new ProgramPoint 'PostStmtCustom' to enable checker-specific ProgramP...Ted Kremenek
2008-12-16ProgramPoint:Ted Kremenek
2008-09-20Add PostStore, a new ProgramPoint to distinguish between 'stores' and other P...Ted Kremenek
2008-09-16ProgramPoint now takes the space of two pointers instead of one. This change wasTed 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-26Make assertions for all addresses passed to ProgramPoint that they have at le...Argyrios Kyrtzidis
2008-03-05Reverted patch 47926 for ProgramPoint.h because it is currently buggy. May a...Ted Kremenek
2008-03-05Added support for ProgramPoints to represent ExplodedNodes in anotherTed Kremenek
2008-03-03Fixed subtle caching bug in ExplodedGraph that would cause some nodes toTed Kremenek
2008-02-13Added support to GREngine/GRConstants for handling computed gotos.Ted Kremenek
2008-01-16Fixed broken bitmasking in the ctor of ProgramPoint.Ted Kremenek
2008-01-16Fixed incorrect pointer mask.Ted Kremenek
2008-01-13Now include "CFG.h" because the inline methods of "BlockEntrance" accessorTed Kremenek
2008-01-11Renamed ProgramEdge.h to ProgramPoint.hTed Kremenek