Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 173ff5669699bd69eaa63421d764d3f0fd74b4e7 / lib / Checker / MallocChecker.cpp
  1. 173ff56 Implement MallocChecker::EvalDeadSymbols() with the new API. This time we by Zhongxing Xu · 14 years ago
  2. 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 · 14 years ago
  3. dde201b Fix 80 col. violations. by Ted Kremenek · 14 years ago
  4. 8c91230 Nest variable declaration into into 'if' condition, thus restricting the scope of the variable and condensing the code. by Ted Kremenek · 14 years ago
  5. 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 · 14 years ago
  6. 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 · 14 years ago
  7. dd0e490 After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking. Patch by Andrew McGregor! by Ted Kremenek · 14 years ago
  8. 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 · 14 years ago
  9. dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
  10. 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 · 14 years ago
  11. 3104124 Code cleanup: remove explicit flush() in favor of using the ostream's str() by Jordy Rose · 14 years ago
  12. 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 · 14 years ago
  13. a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 15 years ago
  14. 8e98ac1 Relax an assertion. Various cases could lead to non-symbol values. by Zhongxing Xu · 15 years ago
  15. 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
  16. c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 15 years ago
  17. 181cc3d Fix pr6293. If ptr is NULL, no operation is preformed. by Zhongxing Xu · 15 years ago
  18. 1397663 Revert 95541. by Ted Kremenek · 15 years ago
  19. 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
  20. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (97%) from lib/Analysis/MallocChecker.cpp]
  21. 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 15 years ago
  22. 7e3cda9 If the symbol has not been tracked, do not free it. This is possible when free by Zhongxing Xu · 15 years ago
  23. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
  24. d9c84c8 Add initial support for realloc() in MallocChecker. by Zhongxing Xu · 15 years ago
  25. a49c6b7 Completely evaluate malloc/free in MallocChecker.cpp. by Zhongxing Xu · 15 years ago
  26. 7fb1464 Use 'class' instead of 'struct'. by Zhongxing Xu · 15 years ago
  27. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  28. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 15 years ago
  29. f605aae Save and restore the HasGen flag in MallocChecker. by Zhongxing Xu · 15 years ago
  30. 4985e3e Add PreVisitReturn to Malloc checker. Now we can recognize returned memory by Zhongxing Xu · 15 years ago
  31. 243fde9 Add EvalEndPath interface to Checker. Now we can check memory leaked at the by Zhongxing Xu · 15 years ago
  32. d02e232 Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 15 years ago
  33. fc7ac8f Malloc checker basically works now. by Zhongxing Xu · 15 years ago
  34. 7b76096 Hook up Malloc checker. by Zhongxing Xu · 15 years ago
  35. 221089b Fix MSVC build. by Benjamin Kramer · 15 years ago
  36. 589c0f2 Add boilerplate logic for a malloc/free checker. by Zhongxing Xu · 15 years ago