emscripten-fastcomp-clang - emscripten clang

Age	Commit message (Expand)	Author
2008-12-17	CF-retain/release checker:	Ted Kremenek
2008-12-05	Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...	Ted Kremenek
2008-12-03	BasicConstraintManager:	Ted Kremenek
2008-12-03	BasicConstraintManager:	Ted Kremenek
2008-11-27	Factory objects should not be temporary. It caches all objects in the set.	Zhongxing Xu
2008-11-27	Add comments.	Zhongxing Xu
2008-11-24	Fix crash of array bounds checking under 64-bit.	Sebastian Redl
2008-11-22	Initial support for checking out of bound memory access. Only support	Zhongxing Xu
2008-11-10	Print integer value instead of raw pointer. This is a hack to be fixed by mig...	Zhongxing Xu
2008-10-26	Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...	Zhongxing Xu
2008-10-17	Enhance "Assumption" logic in BasicConstraintManager when reasoning about reg...	Ted Kremenek
2008-10-17	This patch did the following renaming. There should be no functional changes.	Zhongxing Xu
2008-10-17	Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...	Ted Kremenek
2008-10-04	This is a big patch, but the functionality change is small and the rest of th...	Ted Kremenek
2008-09-19	Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.	Ted Kremenek
2008-09-19	Add an omitted case for AssumeSymInt.	Zhongxing Xu
2008-09-16	Minor pass-sensitivity improvement:	Ted Kremenek
2008-08-30	Add newline at end of file.	Daniel Dunbar
2008-08-29	Added LLVM comment header.	Zhongxing Xu
2008-08-29	Migrate the rest symbolic analysis stuff to BasicConstraintManager.	Zhongxing Xu
2008-08-27	Refactor Assume logic into a separate class ConstraintManager.	Zhongxing Xu