summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/StreamChecker.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Don't assert on a file stream if its state is not tracked. Fix pr7831.Zhongxing Xu2010-08-051-1/+4
| | | | llvm-svn: 110392
* Add FILE* leak check to StreamChecker. Patch by Lei Zhang.Zhongxing Xu2010-07-231-3/+78
| | | | llvm-svn: 109225
* This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang.Zhongxing Xu2010-07-221-7/+25
| | | | llvm-svn: 109106
* Add double close check to StreamChecker. Patch by Lei Zhang.Zhongxing Xu2010-07-191-4/+87
| | | | llvm-svn: 108669
* Return null pointer instead of 'false' (fixes clang warning).Ted Kremenek2010-06-241-1/+1
| | | | llvm-svn: 106755
* Add check for illegal whence argument of fseek.Zhongxing Xu2010-06-241-3/+28
| | | | llvm-svn: 106742
* Should return stateNotNull.Zhongxing Xu2010-06-241-1/+1
| | | | llvm-svn: 106741
* Let StreamChecker::CheckNullStream() return a GRState after successful check.Zhongxing Xu2010-06-241-15/+16
| | | | llvm-svn: 106738
* Add a bunch of stream APIs to SteamChecker.Zhongxing Xu2010-06-221-22/+111
| | | | llvm-svn: 106530
* Add null stream check for more APIs.Zhongxing Xu2010-06-181-16/+70
| | | | llvm-svn: 106274
* Typo.Zhongxing Xu2010-06-161-1/+1
| | | | llvm-svn: 106086
* Although arguments can not be undefined when we get here, they can still beZhongxing Xu2010-06-161-13/+15
| | | | | | unknown. llvm-svn: 106085
* Cast earlier. We know we can get a DefinedSVal.Zhongxing Xu2010-06-161-3/+3
| | | | llvm-svn: 106084
* Add StreamChecker. This checker models and checks stream manipulation functions.Zhongxing Xu2010-06-161-0/+116
This is the start. llvm-svn: 106082
OpenPOWER on IntegriCloud