Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / af498a28797c075c48d7e943df5f5a8e78ed8eb0 / lib / StaticAnalyzer / Checkers / MallocChecker.cpp
  1. af498a2 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 14 years ago
  2. b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 14 years ago
  3. 390909c [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. by Anna Zaks · 14 years ago
  4. 5d0ea6d [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 14 years ago
  5. d56763f If size was equal to 0, either NULL or a pointer suitable to be passed to by Zhongxing Xu · 14 years ago
  6. e172e8b Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. by Anna Zaks · 14 years ago
  7. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  8. 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 14 years ago
  9. 217470e [analyzer] fix bug in malloc checker where the tracked symbol would not properly be removed from the state. by Ted Kremenek · 14 years ago
  10. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 14 years ago
  11. 4d8d803 More accurately model realloc() when the size argument is 0. realloc() with a size of 0 is equivalent to free(). The memory region should be marked as free and not used again. by Lenny Maiorani · 14 years ago
  12. 2bfa301 Remove a redundant method. We have a const version. by Zhongxing Xu · 14 years ago
  13. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 14 years ago
  14. 312dbec [analyzer] Migrate MallocChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  15. f178ac8 [analyzer] Refactor EndOfFunctionNodeBuilder. by Argyrios Kyrtzidis · 14 years ago
  16. 6810630 simplify a bit. by Chris Lattner · 14 years ago
  17. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 14 years ago
  18. af1a933 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 14 years ago
  19. ba37d3b Remove unnecessary save-and-restore of the by Ted Kremenek · 15 years ago
  20. f7fbbda [analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores. by Argyrios Kyrtzidis · 15 years ago
  21. e36de1f Rename misc. methods in GRSubEngine to start by Ted Kremenek · 15 years ago
  22. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (98%) from lib/EntoSA/Checkers/MallocChecker.cpp]
  23. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/GR/Checkers/MallocChecker.cpp]
  24. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  25. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  26. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  27. a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/GR/MallocChecker.cpp]
  28. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/MallocChecker.cpp]
  29. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  30. 342e907 Rename 'VisitLocation' to 'visitLocation'. by Ted Kremenek · 15 years ago
  31. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  32. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  33. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
  34. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 15 years ago
  35. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 15 years ago
  36. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 15 years ago
  37. fae9622 "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment by Chris Lattner · 15 years ago
  38. 79d7304 For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE. Now StoreE (const Stmt*) represents the expression where the store took place, which is the assignment expression if it takes place in an assignment. This removes some conceptual dissidence as well as removes an extra parameter from the Checker::PreVisitBind() visitor. It also improves ranges and source location information in analyzer diagnostics. by Ted Kremenek · 15 years ago
  39. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  40. cf807c4 Generate Attr subclasses with TableGen. by Sean Hunt · 15 years ago
  41. 9076014 Remove dead malloc symbols from the symbol-state map. by Jordy Rose · 15 years ago
  42. 09cef09 Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState> by Jordy Rose · 15 years ago
  43. 649a33a Generate a node instead of a sink. A leak is not a fatal error. by Zhongxing Xu · 15 years ago
  44. 173ff56 Implement MallocChecker::EvalDeadSymbols() with the new API. This time we by Zhongxing Xu · 15 years ago
  45. 2a47992 Remove OwnershipAttr::Kind, since it's essentially redundant with attr::Kind the way it's being used. Also fix isa<OwnershipAttr> support, break more-than-80-char lines, and other miscellaneous ownership attr cleanup. by Jordy Rose · 15 years ago
  46. dde201b Fix 80 col. violations. by Ted Kremenek · 15 years ago
  47. 8c91230 Nest variable declaration into into 'if' condition, thus restricting the scope of the variable and condensing the code. by Ted Kremenek · 15 years ago
  48. cea6865 Use 'GenerateNode()' instead of 'GenerateSink()' when reporting a leak. A leak is not a hard enough bug to stop analyzing a path. by Ted Kremenek · 15 years ago
  49. 72905cf Change the checker callback cache in GRExprEngine to be more compact (and IMHO a little easier to understand), and add the same sort of caching for EvalAssume (tied for least-used callback), mostly as proof-of-concept. by Jordy Rose · 15 years ago
  50. dd0e490 After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking. Patch by Andrew McGregor! by Ted Kremenek · 15 years ago
  51. 32f2656 Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. by Jordy Rose · 15 years ago
  52. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 15 years ago
  53. 7dadf79 Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. by Jordy Rose · 15 years ago
  54. 3104124 Code cleanup: remove explicit flush() in favor of using the ostream's str() by Jordy Rose · 15 years ago
  55. 43859f6 Catch free()s on non-regions and regions known to be not from malloc(), by checking the symbol type and memory space. by Jordy Rose · 15 years ago
  56. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 15 years ago
  57. 8e98ac1 Relax an assertion. Various cases could lead to non-symbol values. by Zhongxing Xu · 15 years ago
  58. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  59. c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 15 years ago
  60. 181cc3d Fix pr6293. If ptr is NULL, no operation is preformed. by Zhongxing Xu · 15 years ago
  61. 1397663 Revert 95541. by Ted Kremenek · 15 years ago
  62. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
  63. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (97%) from lib/Analysis/MallocChecker.cpp]
  64. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 16 years ago
  65. 7e3cda9 If the symbol has not been tracked, do not free it. This is possible when free by Zhongxing Xu · 16 years ago
  66. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 16 years ago
  67. d9c84c8 Add initial support for realloc() in MallocChecker. by Zhongxing Xu · 16 years ago
  68. a49c6b7 Completely evaluate malloc/free in MallocChecker.cpp. by Zhongxing Xu · 16 years ago
  69. 7fb1464 Use 'class' instead of 'struct'. by Zhongxing Xu · 16 years ago
  70. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  71. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 16 years ago
  72. f605aae Save and restore the HasGen flag in MallocChecker. by Zhongxing Xu · 16 years ago
  73. 4985e3e Add PreVisitReturn to Malloc checker. Now we can recognize returned memory by Zhongxing Xu · 16 years ago
  74. 243fde9 Add EvalEndPath interface to Checker. Now we can check memory leaked at the by Zhongxing Xu · 16 years ago
  75. d02e232 Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 16 years ago
  76. fc7ac8f Malloc checker basically works now. by Zhongxing Xu · 16 years ago
  77. 7b76096 Hook up Malloc checker. by Zhongxing Xu · 16 years ago
  78. 221089b Fix MSVC build. by Benjamin Kramer · 16 years ago
  79. 589c0f2 Add boilerplate logic for a malloc/free checker. by Zhongxing Xu · 16 years ago