bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Expand)	Author	Age	Files	Lines
*	Don't assert on a file stream if its state is not tracked. Fix pr7831.	Zhongxing Xu	2010-08-05	1	-1/+4
*	Add FILE* leak check to StreamChecker. Patch by Lei Zhang.	Zhongxing Xu	2010-07-23	1	-3/+78
*	This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang.	Zhongxing Xu	2010-07-22	1	-7/+25
*	Add double close check to StreamChecker. Patch by Lei Zhang.	Zhongxing Xu	2010-07-19	1	-4/+87
*	Return null pointer instead of 'false' (fixes clang warning).	Ted Kremenek	2010-06-24	1	-1/+1
*	Add check for illegal whence argument of fseek.	Zhongxing Xu	2010-06-24	1	-3/+28
*	Should return stateNotNull.	Zhongxing Xu	2010-06-24	1	-1/+1
*	Let StreamChecker::CheckNullStream() return a GRState after successful check.	Zhongxing Xu	2010-06-24	1	-15/+16
*	Add a bunch of stream APIs to SteamChecker.	Zhongxing Xu	2010-06-22	1	-22/+111
*	Add null stream check for more APIs.	Zhongxing Xu	2010-06-18	1	-16/+70
*	Typo.	Zhongxing Xu	2010-06-16	1	-1/+1
*	Although arguments can not be undefined when we get here, they can still be	Zhongxing Xu	2010-06-16	1	-13/+15
*	Cast earlier. We know we can get a DefinedSVal.	Zhongxing Xu	2010-06-16	1	-3/+3
*	Add StreamChecker. This checker models and checks stream manipulation functions.	Zhongxing Xu	2010-06-16	1	-0/+116