Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> ↵ | Argyrios Kyrtzidis | 2010-12-22 | 1 | -276/+0 |
| | | | | | | libclangGRCore llvm-svn: 122421 | ||||
* | [analyzer] Refactoring: include/clang/Checker -> include/clang/GR | Argyrios Kyrtzidis | 2010-12-22 | 1 | -2/+2 |
| | | | | llvm-svn: 122420 | ||||
* | Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. | Ted Kremenek | 2010-12-20 | 1 | -3/+3 |
| | | | | llvm-svn: 122270 | ||||
* | Merge ValueManager into SValBuilder. | Ted Kremenek | 2010-12-02 | 1 | -1/+1 |
| | | | | llvm-svn: 120696 | ||||
* | Rename all 'AssumeXXX' methods in libChecker | Ted Kremenek | 2010-12-01 | 1 | -2/+2 |
| | | | | | | to 'assumeXXX'. llvm-svn: 120614 | ||||
* | Rename all 'EvalXXX' methods in libChecker to | Ted Kremenek | 2010-12-01 | 1 | -1/+1 |
| | | | | | | 'evalXXX'. llvm-svn: 120609 | ||||
* | Rename 'SValuator' to 'SValBuilder'. The new name | Ted Kremenek | 2010-12-01 | 1 | -3/+3 |
| | | | | | | reflects what the class actually does. llvm-svn: 120605 | ||||
* | Add comments. | Ted Kremenek | 2010-11-17 | 1 | -1/+4 |
| | | | | llvm-svn: 119436 | ||||
* | Static analyzer: Catch calls to malloc() with | Ted Kremenek | 2010-11-16 | 1 | -3/+54 |
| | | | | | | | | allocation sizes of 0 bytes. Fixes PR 2899. llvm-svn: 119364 | ||||
* | GCC didn't care for my attempt at API compatibility, so brute-force everything | John McCall | 2010-08-25 | 1 | -1/+1 |
| | | | | | | to the new constants. llvm-svn: 112047 | ||||
* | Remove copy of 'Optional' in Clang tree, and convert clients to use the one ↵ | Ted Kremenek | 2010-04-09 | 1 | -1/+2 |
| | | | | | | now in the LLVM tree. llvm-svn: 100891 | ||||
* | For 'open' check in UnixAPIChecker, hard code value of 'O_CREAT' on Darwin. | Ted Kremenek | 2010-04-08 | 1 | -18/+34 |
| | | | | | | | This is still not an ideal solution, but should disable the check for other targets where the value of O_CREAT is different. llvm-svn: 100818 | ||||
* | Temporarily only enable 'open' check on Mac OS X to unbreak Windows ↵ | Ted Kremenek | 2010-04-08 | 1 | -0/+7 |
| | | | | | | | | buildbot. I'm looking into an alternate fix right now. llvm-svn: 100816 | ||||
* | Add static analyzer check for calls to 'pthread_once()' where the ↵ | Ted Kremenek | 2010-04-08 | 1 | -0/+45 |
| | | | | | | | | control-flow has automatic storage. This matches the corresponding check for 'dispatch_once()'. llvm-svn: 100803 | ||||
* | Checker: random include cleanup. | Benjamin Kramer | 2010-03-27 | 1 | -3/+2 |
| | | | | llvm-svn: 99731 | ||||
* | When generating error node, check to see if we already cached out. | Ted Kremenek | 2010-02-25 | 1 | -0/+3 |
| | | | | llvm-svn: 97115 | ||||
* | Add UnixAPIChecker, a meta checker to include various precondition checks ↵ | Ted Kremenek | 2010-02-25 | 1 | -0/+151 |
for calls to various unix/posix functions, e.g. 'open()'. As a first check, check that when 'open()' is passed 'O_CREAT' that it has a third argument. llvm-svn: 97086 |