Age | Commit message (Expand) | Author |
---|---|---|
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 |