Ted Kremenek
|
aba4958db2
|
Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic.
llvm-svn: 113282
|
2010-09-07 20:45:26 +00:00 |
|
Zhongxing Xu
|
396e041f5e
|
add test case.
llvm-svn: 110408
|
2010-08-06 00:04:40 +00:00 |
|
Zhongxing Xu
|
5e6ef6d957
|
Add FILE* leak check to StreamChecker. Patch by Lei Zhang.
llvm-svn: 109225
|
2010-07-23 14:14:59 +00:00 |
|
Zhongxing Xu
|
f0c133fe88
|
This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang.
llvm-svn: 109106
|
2010-07-22 14:01:01 +00:00 |
|
Zhongxing Xu
|
cf144c6322
|
fix test case.
llvm-svn: 108671
|
2010-07-19 02:06:14 +00:00 |
|
Zhongxing Xu
|
ec5623570e
|
Add double close check to StreamChecker. Patch by Lei Zhang.
llvm-svn: 108669
|
2010-07-19 01:52:29 +00:00 |
|
Zhongxing Xu
|
facf8a8e74
|
Add check for illegal whence argument of fseek.
llvm-svn: 106742
|
2010-06-24 13:36:41 +00:00 |
|
Zhongxing Xu
|
e96a9132b8
|
Add null stream check for more APIs.
llvm-svn: 106274
|
2010-06-18 02:47:46 +00:00 |
|
Zhongxing Xu
|
0fa7cddbab
|
Add StreamChecker. This checker models and checks stream manipulation functions.
This is the start.
llvm-svn: 106082
|
2010-06-16 05:38:05 +00:00 |