Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 118c6c0dd659d34af2ab17a126f45c1e3e02e94a / lib / StaticAnalyzer / Checkers / MallocChecker.cpp
  1. d56763f If size was equal to 0, either NULL or a pointer suitable to be passed to by Zhongxing Xu · 14 years ago
  2. 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
  3. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  4. 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
  5. 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
  6. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 14 years ago
  7. 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
  8. 2bfa301 Remove a redundant method. We have a const version. by Zhongxing Xu · 14 years ago
  9. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 14 years ago
  10. 312dbec [analyzer] Migrate MallocChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  11. f178ac8 [analyzer] Refactor EndOfFunctionNodeBuilder. by Argyrios Kyrtzidis · 14 years ago
  12. 6810630 simplify a bit. by Chris Lattner · 14 years ago
  13. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 14 years ago
  14. af1a933 [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h by Argyrios Kyrtzidis · 14 years ago
  15. ba37d3b Remove unnecessary save-and-restore of the by Ted Kremenek · 15 years ago
  16. f7fbbda [analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently distinguish between loads/stores. by Argyrios Kyrtzidis · 15 years ago
  17. e36de1f Rename misc. methods in GRSubEngine to start by Ted Kremenek · 15 years ago
  18. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (98%) from lib/EntoSA/Checkers/MallocChecker.cpp]
  19. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/GR/Checkers/MallocChecker.cpp]
  20. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  21. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
  22. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  23. 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]
  24. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/MallocChecker.cpp]
  25. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  26. 342e907 Rename 'VisitLocation' to 'visitLocation'. by Ted Kremenek · 15 years ago
  27. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  28. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  29. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
  30. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 15 years ago
  31. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 15 years ago
  32. 3baf672 Adjust method calls to reflect name changes in by Ted Kremenek · 15 years ago
  33. fae9622 "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment by Chris Lattner · 15 years ago
  34. 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
  35. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  36. cf807c4 Generate Attr subclasses with TableGen. by Sean Hunt · 15 years ago
  37. 9076014 Remove dead malloc symbols from the symbol-state map. by Jordy Rose · 15 years ago
  38. 09cef09 Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState> by Jordy Rose · 15 years ago
  39. 649a33a Generate a node instead of a sink. A leak is not a fatal error. by Zhongxing Xu · 15 years ago
  40. 173ff56 Implement MallocChecker::EvalDeadSymbols() with the new API. This time we by Zhongxing Xu · 15 years ago
  41. 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
  42. dde201b Fix 80 col. violations. by Ted Kremenek · 15 years ago
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 15 years ago
  49. 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
  50. 3104124 Code cleanup: remove explicit flush() in favor of using the ostream's str() by Jordy Rose · 15 years ago
  51. 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
  52. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 15 years ago
  53. 8e98ac1 Relax an assertion. Various cases could lead to non-symbol values. by Zhongxing Xu · 15 years ago
  54. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  55. c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 15 years ago
  56. 181cc3d Fix pr6293. If ptr is NULL, no operation is preformed. by Zhongxing Xu · 15 years ago
  57. 1397663 Revert 95541. by Ted Kremenek · 15 years ago
  58. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
  59. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (97%) from lib/Analysis/MallocChecker.cpp]
  60. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 16 years ago
  61. 7e3cda9 If the symbol has not been tracked, do not free it. This is possible when free by Zhongxing Xu · 16 years ago
  62. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 16 years ago
  63. d9c84c8 Add initial support for realloc() in MallocChecker. by Zhongxing Xu · 16 years ago
  64. a49c6b7 Completely evaluate malloc/free in MallocChecker.cpp. by Zhongxing Xu · 16 years ago
  65. 7fb1464 Use 'class' instead of 'struct'. by Zhongxing Xu · 16 years ago
  66. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  67. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 16 years ago
  68. f605aae Save and restore the HasGen flag in MallocChecker. by Zhongxing Xu · 16 years ago
  69. 4985e3e Add PreVisitReturn to Malloc checker. Now we can recognize returned memory by Zhongxing Xu · 16 years ago
  70. 243fde9 Add EvalEndPath interface to Checker. Now we can check memory leaked at the by Zhongxing Xu · 16 years ago
  71. d02e232 Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 16 years ago
  72. fc7ac8f Malloc checker basically works now. by Zhongxing Xu · 16 years ago
  73. 7b76096 Hook up Malloc checker. by Zhongxing Xu · 16 years ago
  74. 221089b Fix MSVC build. by Benjamin Kramer · 16 years ago
  75. 589c0f2 Add boilerplate logic for a malloc/free checker. by Zhongxing Xu · 16 years ago