Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> ↵ | Argyrios Kyrtzidis | 2010-12-22 | 1 | -204/+0 |
| | | | | | | libclangGRCore llvm-svn: 122421 | ||||
* | [analyzer] Refactoring: include/clang/Checker -> include/clang/GR | Argyrios Kyrtzidis | 2010-12-22 | 1 | -3/+3 |
| | | | | llvm-svn: 122420 | ||||
* | Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. | Ted Kremenek | 2010-12-20 | 1 | -1/+1 |
| | | | | llvm-svn: 122270 | ||||
* | Rename all 'EvalXXX' methods in libChecker to | Ted Kremenek | 2010-12-01 | 1 | -2/+2 |
| | | | | | | 'evalXXX'. llvm-svn: 120609 | ||||
* | Detabify. | Eli Friedman | 2010-08-22 | 1 | -1/+1 |
| | | | | llvm-svn: 111768 | ||||
* | Tweak stack address checker to report multiple cases where globals may ↵ | Ted Kremenek | 2010-06-17 | 1 | -48/+65 |
| | | | | | | | | reference stack memory. Also refactor the diagnostics so that we print out the kind of stack memory returned. llvm-svn: 106210 | ||||
* | Rework StackAddrLeakChecker to find stores of stack memory addresses to ↵ | Ted Kremenek | 2010-06-17 | 1 | -39/+56 |
| | | | | | | | | | | | | | | | | global variables by inspecting the Store bindings instead of iterating over all the global variables in a translation unit. By looking at the store directly, we avoid cases where we cannot directly load from the global variable, such as an array (which can result in an assertion failure) and it also catches cases where we store stack addresses to non-scalar globals. Also, but not iterating over all the globals in the translation unit, we maintain cache locality, and the complexity of the checker becomes restricted to the complexity of the analyzed function, and doesn't scale with the size of the translation unit. This fixes PR 7383. llvm-svn: 106184 | ||||
* | We return Loc where we know. | Zhongxing Xu | 2010-06-16 | 1 | -2/+2 |
| | | | | llvm-svn: 106087 | ||||
* | Merge StackAddrLeakChecker and ReturnStackAddressChecker. | Zhongxing Xu | 2010-06-09 | 1 | -5/+88 |
| | | | | llvm-svn: 105687 | ||||
* | Directly compare the StackFrameContext. This greatly simplifies logic and | Zhongxing Xu | 2010-06-09 | 1 | -30/+23 |
| | | | | | | improves generality. Thanks Ted. llvm-svn: 105686 | ||||
* | Add a checker check if a global variable holds a local variable's address after | Zhongxing Xu | 2010-06-08 | 1 | -0/+94 |
the function call is left where the local variable is declared. llvm-svn: 105602 |