Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / e45aa073431f94fc0dafb56477aec2068ba2880f / lib / StaticAnalyzer / Checkers / StreamChecker.cpp
  1. 0621c45 [analyzer] Address a TODO in the StreamChecker; otherwise the output is non-deterministic. by Anna Zaks · 12 years ago
  2. dc84cd5 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 12 years ago
  3. 5251abe Replace SVal llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  4. 55fc873 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 12 years ago
  5. f34a579 [analyzer] StreamChecker: Remove now-unnecessary check::EndPath callback. by Jordan Rose · 12 years ago
  6. 466224f [analyzer] Convert some of the harder cases over to ProgramStateTrait macros. by Jordan Rose · 12 years ago
  7. 785950e [analyzer] Rename 'EmitReport' to 'emitReport'. by Jordan Rose · 12 years ago
  8. 5ac1df3 [analyzer] Add checker helpers to CheckerContext. by Anna Zaks · 12 years ago
  9. 66c486f Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. by Ted Kremenek · 12 years ago
  10. 3b1df8b Rename 'getConjuredSymbol*' to 'conjureSymbol*'. by Ted Kremenek · 12 years ago
  11. 5ef6e94 [analyzer] Guard against C++ member functions that look like system functions. by Jordan Rose · 12 years ago
  12. 3133f79 Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. by Ted Kremenek · 13 years ago
  13. d7a3e2c Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. by Benjamin Kramer · 13 years ago
  14. 6f42b62 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 13 years ago
  15. 00bd44d Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h. by Benjamin Kramer · 13 years ago
  16. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 13 years ago
  17. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 13 years ago
  18. b805c8f [analyzer] Refactor checkers to use helper function for getting callee Decl and name. by Anna Zaks · 13 years ago
  19. 0bd6b11 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 13 years ago
  20. 063e088 [analyzer] Simplify CheckerContext by Anna Zaks · 13 years ago
  21. af498a2 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 13 years ago
  22. 5d0ea6d [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 13 years ago
  23. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 13 years ago
  24. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 14 years ago
  25. 699bbf9 [analyzer] Migrate StreamChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  26. f178ac8 [analyzer] Refactor EndOfFunctionNodeBuilder. by Argyrios Kyrtzidis · 14 years ago
  27. 695fb50 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 14 years ago
  28. a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 14 years ago
  29. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 14 years ago
  30. af1a933 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 14 years ago
  31. ba37d3b Remove unnecessary save-and-restore of the by Ted Kremenek · 14 years ago
  32. e36de1f Rename misc. methods in GRSubEngine to start by Ted Kremenek · 14 years ago
  33. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 14 years ago[Renamed (97%) from lib/EntoSA/Checkers/StreamChecker.cpp]
  34. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (97%) from lib/GR/Checkers/StreamChecker.cpp]
  35. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago
  36. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 14 years ago
  37. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 14 years ago
  38. 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]
  39. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/Checker/StreamChecker.cpp]
  40. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
  41. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 14 years ago
  42. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 14 years ago
  43. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
  44. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
  45. 02b49bb Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic. by Ted Kremenek · 14 years ago
  46. fae9622 "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment by Chris Lattner · 14 years ago
  47. 8046037 Remove bogus assertions. by Ted Kremenek · 14 years ago
  48. a7e6845 Detabify. by Eli Friedman · 14 years ago
  49. 1c7370f Don't assert on a file stream if its state is not tracked. Fix pr7831. by Zhongxing Xu · 14 years ago
  50. 766c201 Add FILE* leak check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  51. 47dc37f This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  52. 9843ba9 Add double close check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 14 years ago
  53. 2b11fb2 Return null pointer instead of 'false' (fixes clang warning). by Ted Kremenek · 14 years ago
  54. 0c2e8c8 Add check for illegal whence argument of fseek. by Zhongxing Xu · 14 years ago
  55. ab42130 Should return stateNotNull. by Zhongxing Xu · 14 years ago
  56. 12d213d Let StreamChecker::CheckNullStream() return a GRState after successful check. by Zhongxing Xu · 14 years ago
  57. c7de88b Add a bunch of stream APIs to SteamChecker. by Zhongxing Xu · 14 years ago
  58. 23d90f9 Add null stream check for more APIs. by Zhongxing Xu · 14 years ago
  59. b0cd34b Typo. by Zhongxing Xu · 14 years ago
  60. b3f4031 Although arguments can not be undefined when we get here, they can still be by Zhongxing Xu · 14 years ago
  61. 7015485 Cast earlier. We know we can get a DefinedSVal. by Zhongxing Xu · 14 years ago
  62. c196095 Add StreamChecker. This checker models and checks stream manipulation functions. by Zhongxing Xu · 14 years ago