bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Expand)	Author	Age	Files	Lines
*	Add a new symbol type, SymbolExtent, to represent the extents of memory regio...	Jordy Rose	2010-07-04	1	-5/+13
*	Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ...	Ted Kremenek	2010-07-01	1	-1/+2
*	Add an ivar to SymbolReaper for the current statement, and then stop passing ...	Jordy Rose	2010-07-01	1	-3/+2
*	Code cleanup: remove explicit flush() in favor of using the ostream's str()	Jordy Rose	2010-06-08	1	-2/+1
*	Catch free()s on non-regions and regions known to be not from malloc(), by ch...	Jordy Rose	2010-06-07	1	-5/+180
*	Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my	Zhongxing Xu	2010-06-01	1	-9/+43
*	Relax an assertion. Various cases could lead to non-symbol values.	Zhongxing Xu	2010-05-13	1	-1/+4
*	Checker: random include cleanup.	Benjamin Kramer	2010-03-27	1	-0/+1
*	Add use-after-free check to MallocChecker.	Zhongxing Xu	2010-03-10	1	-1/+23
*	Fix pr6293. If ptr is NULL, no operation is preformed.	Zhongxing Xu	2010-02-14	1	-0/+5
*	Revert 95541.	Ted Kremenek	2010-02-08	1	-7/+6
*	Rename: GRState::getSVal(Stmt*) => getExprVal(),	Zhongxing Xu	2010-02-08	1	-6/+7
*	Split libAnalysis into two libraries: libAnalysis and libChecker.	Ted Kremenek	2010-01-25	1	-0/+336