| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add initial support for realloc() in MallocChecker. | Zhongxing Xu | 2009-12-12 | 1 | -10/+82 |
| | | | | | llvm-svn: 91216 | ||||
| * | Completely evaluate malloc/free in MallocChecker.cpp. | Zhongxing Xu | 2009-12-11 | 1 | -8/+20 |
| | | | | | llvm-svn: 91100 | ||||
| * | Use 'class' instead of 'struct'. | Zhongxing Xu | 2009-12-11 | 1 | -1/+2 |
| | | | | | llvm-svn: 91085 | ||||
| * | lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace | Kovarththanan Rajaratnam | 2009-11-28 | 1 | -3/+3 |
| | | | | | llvm-svn: 90028 | ||||
| * | Clean up the Checker API a little more, resolving some hidden bugs | Ted Kremenek | 2009-11-23 | 1 | -9/+5 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | along the way. Important changes: 1) To generate a sink node, use GenerateSink(); GenerateNode() is for generating regular transitions. This makes the API clearer and also allows us to use the 'bool' option to GenerateNode() for a different purpose. 2) GenerateNode() now automatically adds the generated node to the destination ExplodedNodeSet (autotransition) unless the client specifies otherwise with a bool flag. Several checkers did not call 'addTransition()' after calling 'GenerateNode()', causing the simulation path to be prematurely culled when a non-fail stop bug was encountered. 3) Add variants of GenerateNode()/GenerateSink() that take neither a Stmt* or a GRState*; most callers of GenerateNode() just pass in the same Stmt* as provided when the CheckerContext object is created; we can just use that the majority of the time. This cleanup also allows us to potentially coelesce the APIs for evaluating branches and end-of-paths (which currently directly use builders). 4) addTransition() no longer needs to be called except for a few cases. We now have a variant of addTransition() that takes a GRState*; this allows one to propagate the updated state without caring about generating a new node explicitly. This nicely cleaned up a bunch of cases that called autoTransition() with a bunch of conditional logic surround the call (that common logic has now been swallowed up by addTransition() itself). llvm-svn: 89707 | ||||
| * | Save and restore the HasGen flag in MallocChecker. | Zhongxing Xu | 2009-11-22 | 1 | -0/+1 |
| | | | | | llvm-svn: 89590 | ||||
| * | Add PreVisitReturn to Malloc checker. Now we can recognize returned memory | Zhongxing Xu | 2009-11-17 | 1 | -0/+26 |
| | | | | | | | block. llvm-svn: 89071 | ||||
| * | Add EvalEndPath interface to Checker. Now we can check memory leaked at the | Zhongxing Xu | 2009-11-17 | 1 | -20/+52 |
| | | | | | | | end of the path. Need to unify interfaces. llvm-svn: 89063 | ||||
| * | Change *BugReport constructors to take StringRefs. | Benjamin Kramer | 2009-11-14 | 1 | -2/+2 |
| | | | | | | | | | - Eliminates many calls to std::string.c_str() - Fixes an invalid read in ReturnStackAddressChecker due to an unsafe call to StringRef.data() which doesn't guarantee null-termination. llvm-svn: 88779 | ||||
| * | Malloc checker basically works now. | Zhongxing Xu | 2009-11-13 | 1 | -2/+24 |
| | | | | | llvm-svn: 87094 | ||||
| * | Hook up Malloc checker. | Zhongxing Xu | 2009-11-13 | 1 | -0/+12 |
| | | | | | llvm-svn: 87093 | ||||
| * | Fix MSVC build. | Benjamin Kramer | 2009-11-12 | 1 | -1/+1 |
| | | | | | llvm-svn: 86983 | ||||
| * | Add boilerplate logic for a malloc/free checker. | Zhongxing Xu | 2009-11-12 | 1 | -0/+126 |
| llvm-svn: 86978 | |||||
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|