| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Add test case for pr6069. | Zhongxing Xu | 2010-01-18 | 1 | -0/+6 | |
| | | | | | llvm-svn: 93708 | |||||
| * | Let constraint manager inform checkers that some assumption logic has happend. | Zhongxing Xu | 2009-12-31 | 1 | -0/+8 | |
| | | | | | | | | | | Add new states for symbolic regions tracked by malloc checker. This enables us to do malloc checking more accurately. See test case. Based on Lei Zhang's patch and discussion. llvm-svn: 92342 | |||||
| * | Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. | Daniel Dunbar | 2009-12-15 | 1 | -1/+1 | |
| | | | | | | | | | | - This is designed to make it obvious that %clang_cc1 is a "test variable" which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it can be useful to redefine what gets run as 'clang -cc1' (for example, to set a default target). llvm-svn: 91446 | |||||
| * | Replace clang-cc with clang -cc1. | Zhongxing Xu | 2009-12-14 | 1 | -1/+1 | |
| | | | | | llvm-svn: 91272 | |||||
| * | Add initial support for realloc() in MallocChecker. | Zhongxing Xu | 2009-12-12 | 1 | -0/+8 | |
| | | | | | llvm-svn: 91216 | |||||
| * | Add PreVisitReturn to Malloc checker. Now we can recognize returned memory | Zhongxing Xu | 2009-11-17 | 1 | -4/+4 | |
| | | | | | | | block. llvm-svn: 89071 | |||||
| * | Add EvalEndPath interface to Checker. Now we can check memory leaked at the | Zhongxing Xu | 2009-11-17 | 1 | -12/+11 | |
| | | | | | | | end of the path. Need to unify interfaces. llvm-svn: 89063 | |||||
| * | Fix a couple of tests. | Eli Friedman | 2009-11-14 | 1 | -1/+1 | |
| | | | | | llvm-svn: 88756 | |||||
| * | Remove test case's dependency on header file. | Ted Kremenek | 2009-11-13 | 1 | -1/+3 | |
| | | | | | llvm-svn: 88685 | |||||
| * | Add two new test cases for the Malloc/Free checker. Both have to do with | Ted Kremenek | 2009-11-13 | 1 | -0/+18 | |
| | | | | | | | storing malloc'ed memory to global storage. llvm-svn: 88684 | |||||
| * | Add test case that shows a leak we don't catch. | Ted Kremenek | 2009-11-13 | 1 | -0/+5 | |
| | | | | | llvm-svn: 88683 | |||||
| * | Add clang-cc option "--analyzer-experimental-internal-checks". This | Ted Kremenek | 2009-11-13 | 1 | -1/+1 | |
| | | | | | | | | option enables new "internal" checks that will eventually be turned on by default but still require broader testing. llvm-svn: 88671 | |||||
| * | Malloc checker basically works now. | Zhongxing Xu | 2009-11-13 | 1 | -0/+13 | |
| llvm-svn: 87094 | ||||||

