Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 2e00b98027b51ee5bfb88a4daea8b78bf9a01e62 / clang / lib / StaticAnalyzer / Checkers / StreamChecker.cpp
  1. d703ec9 [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently by George Karpenkov · 8 years ago
  2. 9670f84 [NFC] Header cleanup by Mehdi Amini · 9 years ago
  3. e39bd40 [analyzer] Add generateErrorNode() APIs to CheckerContext. by Devin Coughlin · 10 years ago
  4. 3a0678e [analyzer] Apply whitespace cleanups by Honggyu Kim. by Ted Kremenek · 10 years ago
  5. 8d3a7a5 Clarify pointer ownership semantics by hoisting the std::unique_ptr creation to the caller instead of hiding it in emitReport. NFC. by Aaron Ballman · 10 years ago
  6. 0dbb783 [C++11] Use 'nullptr'. StaticAnalyzer edition. by Craig Topper · 11 years ago
  7. b898432 Replace OwningPtr with std::unique_ptr. by Ahmed Charles · 12 years ago
  8. 867ea1d [C++11] Replace llvm::tie with std::tie. by Benjamin Kramer · 12 years ago
  9. 4aca9b1 Expose the name of the checker producing each diagnostic message. by Alexander Kornienko · 12 years ago
  10. 0e4513b [analyzer] Address a TODO in the StreamChecker; otherwise the output is non-deterministic. by Anna Zaks · 13 years ago
  11. 05785d1 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 13 years ago
  12. 2fdacbc Replace SVal llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  13. 3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
  14. b9263cf [analyzer] StreamChecker: Remove now-unnecessary check::EndPath callback. by Jordan Rose · 13 years ago
  15. b9ed61f [analyzer] Convert some of the harder cases over to ProgramStateTrait macros. by Jordan Rose · 13 years ago
  16. e10d5a7 [analyzer] Rename 'EmitReport' to 'emitReport'. by Jordan Rose · 13 years ago
  17. 2ab0321 [analyzer] Add checker helpers to CheckerContext. by Anna Zaks · 13 years ago
  18. d94854a Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. by Ted Kremenek · 13 years ago
  19. d227833 Rename 'getConjuredSymbol*' to 'conjureSymbol*'. by Ted Kremenek · 13 years ago
  20. 6cd16c5 [analyzer] Guard against C++ member functions that look like system functions. by Jordan Rose · 13 years ago
  21. d519cae Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. by Ted Kremenek · 14 years ago
  22. 7ec12c9 Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. by Benjamin Kramer · 14 years ago
  23. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  24. 3307c508 Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h. by Benjamin Kramer · 14 years ago
  25. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  26. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  27. c6aa531 [analyzer] Refactor checkers to use helper function for getting callee Decl and name. by Anna Zaks · 14 years ago
  28. da4c8d6 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  29. b473816 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  30. 3eae334 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 14 years ago
  31. 23d7ba3 [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 14 years ago
  32. 001fd5b Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  33. 6a5674f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 15 years ago
  34. 785459a [analyzer] Migrate StreamChecker to CheckerV2. by Argyrios Kyrtzidis · 15 years ago
  35. f1b5d1f [analyzer] Refactor EndOfFunctionNodeBuilder. by Argyrios Kyrtzidis · 15 years ago
  36. 507ff53 [analyzer] Pass CheckerManager to the registration functions. by Argyrios Kyrtzidis · 15 years ago
  37. 2d3905f [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 15 years ago
  38. f8cbac4 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 15 years ago
  39. f410a62 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 15 years ago
  40. b86ec25 Remove unnecessary save-and-restore of the by Ted Kremenek · 15 years ago
  41. 926c962 Rename misc. methods in GRSubEngine to start by Ted Kremenek · 15 years ago
  42. d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (97%) from clang/lib/EntoSA/Checkers/StreamChecker.cpp]
  43. ef33f09 Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (97%) from clang/lib/GR/Checkers/StreamChecker.cpp]
  44. 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  45. 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  46. ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  47. a700e97 [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/GR/StreamChecker.cpp]
  48. 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/StreamChecker.cpp]
  49. 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  50. 750b7ac Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  51. 90af909 Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  52. c5bea1e Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
  53. dc89142 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 15 years ago
  54. aba4958 Fix null pointer dereference in StreamChecker::Fseek (reported in PR 8081) and simplify surrounding checking logic. by Ted Kremenek · 15 years ago
  55. 3dd48bd "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment by Chris Lattner · 15 years ago
  56. 5c0969f Remove bogus assertions. by Ted Kremenek · 15 years ago
  57. 0483192 Detabify. by Eli Friedman · 15 years ago
  58. cf61a06 Don't assert on a file stream if its state is not tracked. Fix pr7831. by Zhongxing Xu · 15 years ago
  59. 5e6ef6d Add FILE* leak check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 15 years ago
  60. f0c133f This patch adds support for tmpfile in StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 15 years ago
  61. ec56235 Add double close check to StreamChecker. Patch by Lei Zhang. by Zhongxing Xu · 15 years ago
  62. 87f475a Return null pointer instead of 'false' (fixes clang warning). by Ted Kremenek · 15 years ago
  63. facf8a8 Add check for illegal whence argument of fseek. by Zhongxing Xu · 15 years ago
  64. a7e5dd6 Should return stateNotNull. by Zhongxing Xu · 15 years ago
  65. ae45144 Let StreamChecker::CheckNullStream() return a GRState after successful check. by Zhongxing Xu · 15 years ago
  66. 4505747 Add a bunch of stream APIs to SteamChecker. by Zhongxing Xu · 15 years ago
  67. e96a913 Add null stream check for more APIs. by Zhongxing Xu · 15 years ago
  68. 7880db8 Typo. by Zhongxing Xu · 15 years ago
  69. b4126ee Although arguments can not be undefined when we get here, they can still be by Zhongxing Xu · 15 years ago
  70. 9fe7e91 Cast earlier. We know we can get a DefinedSVal. by Zhongxing Xu · 15 years ago
  71. 0fa7cdd Add StreamChecker. This checker models and checks stream manipulation functions. by Zhongxing Xu · 15 years ago