- dde201b Fix 80 col. violations. by Ted Kremenek · 14 years ago
- 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
- 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
- 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
- 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
- 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
- dcee3ce Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables by Ted Kremenek · 14 years ago
- 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
- 3104124 Code cleanup: remove explicit flush() in favor of using the ostream's str() by Jordy Rose · 14 years ago
- 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
- a5ce966 Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my by Zhongxing Xu · 14 years ago
- 8e98ac1 Relax an assertion. Various cases could lead to non-symbol values. by Zhongxing Xu · 14 years ago
- 5e2d2c2 Checker: random include cleanup. by Benjamin Kramer · 15 years ago
- c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 15 years ago
- 181cc3d Fix pr6293. If ptr is NULL, no operation is preformed. by Zhongxing Xu · 15 years ago
- 1397663 Revert 95541. by Ted Kremenek · 15 years ago
- 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
- 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (97%) from lib/Analysis/MallocChecker.cpp]
- 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 15 years ago
- 7e3cda9 If the symbol has not been tracked, do not free it. This is possible when free by Zhongxing Xu · 15 years ago
- b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
- d9c84c8 Add initial support for realloc() in MallocChecker. by Zhongxing Xu · 15 years ago
- a49c6b7 Completely evaluate malloc/free in MallocChecker.cpp. by Zhongxing Xu · 15 years ago
- 7fb1464 Use 'class' instead of 'struct'. by Zhongxing Xu · 15 years ago
- ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
- 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 15 years ago
- f605aae Save and restore the HasGen flag in MallocChecker. by Zhongxing Xu · 15 years ago
- 4985e3e Add PreVisitReturn to Malloc checker. Now we can recognize returned memory by Zhongxing Xu · 15 years ago
- 243fde9 Add EvalEndPath interface to Checker. Now we can check memory leaked at the by Zhongxing Xu · 15 years ago
- d02e232 Change *BugReport constructors to take StringRefs. by Benjamin Kramer · 15 years ago
- fc7ac8f Malloc checker basically works now. by Zhongxing Xu · 15 years ago
- 7b76096 Hook up Malloc checker. by Zhongxing Xu · 15 years ago
- 221089b Fix MSVC build. by Benjamin Kramer · 15 years ago
- 589c0f2 Add boilerplate logic for a malloc/free checker. by Zhongxing Xu · 15 years ago