emscripten-fastcomp-clang - emscripten clang

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