index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Checker
/
StreamChecker.cpp
Age
Commit message (
Expand
)
Author
2010-09-07
Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) an...
Ted Kremenek
2010-09-03
"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment
Chris Lattner
2010-09-03
Remove bogus assertions.
Ted Kremenek
2010-08-22
Detabify.
Eli Friedman
2010-08-05
Don't assert on a file stream if its state is not tracked. Fix pr7831.
Zhongxing Xu
2010-07-23
Add FILE* leak check to StreamChecker. Patch by Lei Zhang.
Zhongxing Xu
2010-07-22
This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang.
Zhongxing Xu
2010-07-19
Add double close check to StreamChecker. Patch by Lei Zhang.
Zhongxing Xu
2010-06-24
Return null pointer instead of 'false' (fixes clang warning).
Ted Kremenek
2010-06-24
Add check for illegal whence argument of fseek.
Zhongxing Xu
2010-06-24
Should return stateNotNull.
Zhongxing Xu
2010-06-24
Let StreamChecker::CheckNullStream() return a GRState after successful check.
Zhongxing Xu
2010-06-22
Add a bunch of stream APIs to SteamChecker.
Zhongxing Xu
2010-06-18
Add null stream check for more APIs.
Zhongxing Xu
2010-06-16
Typo.
Zhongxing Xu
2010-06-16
Although arguments can not be undefined when we get here, they can still be
Zhongxing Xu
2010-06-16
Cast earlier. We know we can get a DefinedSVal.
Zhongxing Xu
2010-06-16
Add StreamChecker. This checker models and checks stream manipulation functions.
Zhongxing Xu