emscripten-fastcomp-clang - emscripten clang

Age	Commit message (Expand)	Author
2008-08-13	Rename ValueState.h -> GRState.h	Ted Kremenek
2008-08-13	Rename ValueState -> GRState.	Ted Kremenek
2008-08-12	Added GenericDataMap as a component of ValueState.	Ted Kremenek
2008-08-07	Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor im...	Ted Kremenek
2008-07-22	Added path-sensitive checking for null pointer values passed to function argu...	Ted Kremenek
2008-07-18	Created ValueStateSet class to manage the creation of multiple states by a me...	Ted Kremenek
2008-07-17	Move GRTransferFunc* into ValueStateManager, and move the assumption logic th...	Ted Kremenek
2008-07-17	Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of...	Ted Kremenek
2008-07-17	Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual Remov...	Ted Kremenek
2008-07-10	Refactored most of the "Store" piece of ValueState into a Store type. The	Ted Kremenek
2008-07-10	Move some environment methods from ValueState/ValueStateManager to Environmen...	Ted Kremenek
2008-07-08	Initial work on splitting the ValueState into an Environment, Store, and	Ted Kremenek
2008-04-29	Major rewrite/refactoring of static analysis engine. We now use	Ted Kremenek
2008-04-24	Added initial boilerplate in GRExprEngine to allow checker-specific transfer	Ted Kremenek
2008-03-12	Prototype (pre-alpha) implementation of CFRef checker.	Ted Kremenek
2008-03-11	Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter"	Ted Kremenek
2008-03-11	Added main skeleton for CFRetain transfer function logic.	Ted Kremenek
2008-03-07	Renamed ValueManager to BasicValueFactory.	Ted Kremenek
2008-03-06	fix typos	Gabor Greif
2008-03-05	Added "CheckerState" field to ValueState.	Ted Kremenek
2008-03-05	Cleaned up typedefs involving StateTy so that we always use "StateTy*" instea...	Ted Kremenek
2008-03-04	Fixed another obscure node-caching bug.	Ted Kremenek
2008-03-04	Implemented "print" method for ValueState.	Ted Kremenek
2008-02-28	Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...	Ted Kremenek
2008-02-27	When analyzing a function, eagerly create symbolic values for all	Ted Kremenek
2008-02-27	Header file cleanups: reduce number of includes; move ValueState.h into inclu...	Ted Kremenek