summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/UnixAPIChecker.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> ↵Argyrios Kyrtzidis2010-12-221-276/+0
| | | | | | libclangGRCore llvm-svn: 122421
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-2/+2
| | | | llvm-svn: 122420
* Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'.Ted Kremenek2010-12-201-3/+3
| | | | llvm-svn: 122270
* Merge ValueManager into SValBuilder.Ted Kremenek2010-12-021-1/+1
| | | | llvm-svn: 120696
* Rename all 'AssumeXXX' methods in libCheckerTed Kremenek2010-12-011-2/+2
| | | | | | to 'assumeXXX'. llvm-svn: 120614
* Rename all 'EvalXXX' methods in libChecker toTed Kremenek2010-12-011-1/+1
| | | | | | 'evalXXX'. llvm-svn: 120609
* Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek2010-12-011-3/+3
| | | | | | reflects what the class actually does. llvm-svn: 120605
* Add comments.Ted Kremenek2010-11-171-1/+4
| | | | llvm-svn: 119436
* Static analyzer: Catch calls to malloc() withTed Kremenek2010-11-161-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 everythingJohn McCall2010-08-251-1/+1
| | | | | | to the new constants. llvm-svn: 112047
* Remove copy of 'Optional' in Clang tree, and convert clients to use the one ↵Ted Kremenek2010-04-091-1/+2
| | | | | | now in the LLVM tree. llvm-svn: 100891
* For 'open' check in UnixAPIChecker, hard code value of 'O_CREAT' on Darwin.Ted Kremenek2010-04-081-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 Kremenek2010-04-081-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 Kremenek2010-04-081-0/+45
| | | | | | | | control-flow has automatic storage. This matches the corresponding check for 'dispatch_once()'. llvm-svn: 100803
* Checker: random include cleanup.Benjamin Kramer2010-03-271-3/+2
| | | | llvm-svn: 99731
* When generating error node, check to see if we already cached out.Ted Kremenek2010-02-251-0/+3
| | | | llvm-svn: 97115
* Add UnixAPIChecker, a meta checker to include various precondition checks ↵Ted Kremenek2010-02-251-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
OpenPOWER on IntegriCloud