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