summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/StreamChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis2010-12-221-463/+0
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-5/+5
* Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.Ted Kremenek2010-12-201-4/+4
* Merge ValueManager into SValBuilder.Ted Kremenek2010-12-021-3/+3
* Rename all 'AssumeXXX' methods in libCheckerTed Kremenek2010-12-011-2/+2
* Rename all 'EvalXXX' methods in libChecker toTed Kremenek2010-12-011-6/+6
* Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) an...Ted Kremenek2010-09-071-17/+12
* "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignmentChris Lattner2010-09-031-2/+2
* Remove bogus assertions.Ted Kremenek2010-09-031-10/+12
* Detabify.Eli Friedman2010-08-221-16/+16
* Don't assert on a file stream if its state is not tracked. Fix pr7831.Zhongxing Xu2010-08-051-1/+4
* Add FILE* leak check to StreamChecker. Patch by Lei Zhang.Zhongxing Xu2010-07-231-3/+78
* This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang.Zhongxing Xu2010-07-221-7/+25
* Add double close check to StreamChecker. Patch by Lei Zhang.Zhongxing Xu2010-07-191-4/+87
* Return null pointer instead of 'false' (fixes clang warning).Ted Kremenek2010-06-241-1/+1
* Add check for illegal whence argument of fseek.Zhongxing Xu2010-06-241-3/+28
* Should return stateNotNull.Zhongxing Xu2010-06-241-1/+1
* Let StreamChecker::CheckNullStream() return a GRState after successful check.Zhongxing Xu2010-06-241-15/+16
* Add a bunch of stream APIs to SteamChecker.Zhongxing Xu2010-06-221-22/+111
* Add null stream check for more APIs.Zhongxing Xu2010-06-181-16/+70
* Typo.Zhongxing Xu2010-06-161-1/+1
* Although arguments can not be undefined when we get here, they can still beZhongxing Xu2010-06-161-13/+15
* Cast earlier. We know we can get a DefinedSVal.Zhongxing Xu2010-06-161-3/+3
* Add StreamChecker. This checker models and checks stream manipulation functions.Zhongxing Xu2010-06-161-0/+116
OpenPOWER on IntegriCloud