index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
clang
/
lib
/
Checker
/
StreamChecker.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...
Argyrios Kyrtzidis
2010-12-22
1
-463
/
+0
*
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
Argyrios Kyrtzidis
2010-12-22
1
-5
/
+5
*
Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.
Ted Kremenek
2010-12-20
1
-4
/
+4
*
Merge ValueManager into SValBuilder.
Ted Kremenek
2010-12-02
1
-3
/
+3
*
Rename all 'AssumeXXX' methods in libChecker
Ted Kremenek
2010-12-01
1
-2
/
+2
*
Rename all 'EvalXXX' methods in libChecker to
Ted Kremenek
2010-12-01
1
-6
/
+6
*
Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) an...
Ted Kremenek
2010-09-07
1
-17
/
+12
*
"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment
Chris Lattner
2010-09-03
1
-2
/
+2
*
Remove bogus assertions.
Ted Kremenek
2010-09-03
1
-10
/
+12
*
Detabify.
Eli Friedman
2010-08-22
1
-16
/
+16
*
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