Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
5d0ea6d62e076c776ddad028c4eb615783be1323
/
lib
/
StaticAnalyzer
/
Checkers
/
StreamChecker.cpp
5d0ea6d
[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context.
by Anna Zaks
· 13 years ago
18c66fd
Rename GRState to ProgramState, and cleanup some code formatting along the way.
by Ted Kremenek
· 13 years ago
ec8605f
[analyzer] Rename CheckerV2 -> Checker.
by Argyrios Kyrtzidis
· 14 years ago
699bbf9
[analyzer] Migrate StreamChecker to CheckerV2.
by Argyrios Kyrtzidis
· 14 years ago
f178ac8
[analyzer] Refactor EndOfFunctionNodeBuilder.
by Argyrios Kyrtzidis
· 14 years ago
695fb50
[analyzer] Pass CheckerManager to the registration functions.
by Argyrios Kyrtzidis
· 14 years ago
a0decc9
[analyzer] Use the new registration mechanism on some of the experimental checks. These are:
by Argyrios Kyrtzidis
· 14 years ago
9b66371
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
by Ted Kremenek
· 14 years ago
af1a933
[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h
by Argyrios Kyrtzidis
· 14 years ago
ba37d3b
Remove unnecessary save-and-restore of the
by Ted Kremenek
· 14 years ago
e36de1f
Rename misc. methods in GRSubEngine to start
by Ted Kremenek
· 14 years ago
2114258
Chris Lattner has strong opinions about directory layout. :)
by Ted Kremenek
· 14 years ago
[Renamed (97%) from lib/EntoSA/Checkers/StreamChecker.cpp]
3a8f40e
Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile.
by Ted Kremenek
· 14 years ago
[Renamed (97%) from lib/GR/Checkers/StreamChecker.cpp]
9ef6537
Rename static analyzer namespace 'GR' to 'ento'.
by Ted Kremenek
· 14 years ago
d2592a3
[analyzer] Refactoring: Drop the 'GR' prefix.
by Argyrios Kyrtzidis
· 14 years ago
5a4f98f
[analyzer] Refactoring: Move stuff into namespace 'GR'.
by Argyrios Kyrtzidis
· 14 years ago
a7af5ea
[analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers
by Argyrios Kyrtzidis
· 14 years ago
[Renamed from lib/GR/StreamChecker.cpp]
bce30c5
[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore
by Argyrios Kyrtzidis
· 14 years ago
[Renamed from lib/Checker/StreamChecker.cpp]
98cabba
[analyzer] Refactoring: include/clang/Checker -> include/clang/GR
by Argyrios Kyrtzidis
· 14 years ago
d048c6e
Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.
by Ted Kremenek
· 14 years ago
c8413fd
Merge ValueManager into SValBuilder.
by Ted Kremenek
· 14 years ago
28f47b9
Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'.
by Ted Kremenek
· 14 years ago
9c14953
Rename all 'EvalXXX' methods in libChecker to 'evalXXX'.
by Ted Kremenek
· 14 years ago
02b49bb
Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic.
by Ted Kremenek
· 14 years ago
fae9622
"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment
by Chris Lattner
· 14 years ago
8046037
Remove bogus assertions.
by Ted Kremenek
· 14 years ago
a7e6845
Detabify.
by Eli Friedman
· 14 years ago
1c7370f
Don't assert on a file stream if its state is not tracked. Fix pr7831.
by Zhongxing Xu
· 14 years ago
766c201
Add FILE* leak check to StreamChecker. Patch by Lei Zhang.
by Zhongxing Xu
· 14 years ago
47dc37f
This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang.
by Zhongxing Xu
· 14 years ago
9843ba9
Add double close check to StreamChecker. Patch by Lei Zhang.
by Zhongxing Xu
· 14 years ago
2b11fb2
Return null pointer instead of 'false' (fixes clang warning).
by Ted Kremenek
· 14 years ago
0c2e8c8
Add check for illegal whence argument of fseek.
by Zhongxing Xu
· 14 years ago
ab42130
Should return stateNotNull.
by Zhongxing Xu
· 14 years ago
12d213d
Let StreamChecker::CheckNullStream() return a GRState after successful check.
by Zhongxing Xu
· 14 years ago
c7de88b
Add a bunch of stream APIs to SteamChecker.
by Zhongxing Xu
· 14 years ago
23d90f9
Add null stream check for more APIs.
by Zhongxing Xu
· 14 years ago
b0cd34b
Typo.
by Zhongxing Xu
· 14 years ago
b3f4031
Although arguments can not be undefined when we get here, they can still be
by Zhongxing Xu
· 14 years ago
7015485
Cast earlier. We know we can get a DefinedSVal.
by Zhongxing Xu
· 14 years ago
c196095
Add StreamChecker. This checker models and checks stream manipulation functions.
by Zhongxing Xu
· 14 years ago