summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) ↵Anna Zaks2011-08-191-1/+1
| | | | | | | | | | | | API in favor of addVisitor(BugReporterVisitor*). 1) Create a header file to expose the predefined visitors. And move the parent(BugReporterVisitor) there as well. 2) Remove the registerXXXVisitor functions - the Visitor constructors/getters can be used now to create the object. One exception is registerVarDeclsLastStore(), which registers more then one visitor, so make it static member of FindLastStoreBRVisitor. 3) Modify all the checkers to use the new API. llvm-svn: 138126
* Remove EnhancedBugReport and RangedBugReport - pull all the extra ↵Anna Zaks2011-08-171-5/+5
| | | | | | functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. llvm-svn: 137894
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-5/+5
| | | | llvm-svn: 137665
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer ↵Ted Kremenek2011-08-121-9/+9
| | | | | | and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. llvm-svn: 137537
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can ↵Ted Kremenek2011-08-121-1/+1
| | | | | | | | separate TypedRegions that implement getValueType() from those that don't. Patch by Olaf Krzikalla! llvm-svn: 137498
* remove unneeded llvm:: namespace qualifiers on some core types now that ↵Chris Lattner2011-07-231-2/+2
| | | | | | | | LLVM.h imports them into the clang namespace. llvm-svn: 135852
* [analyzer] Place checking for Core Foundation "Create" rule into a proper ↵Ted Kremenek2011-07-161-1/+1
| | | | | | API. No functionality change. llvm-svn: 135349
* Make the VariadicMethodTypeChecker accept block pointers as Objective-C ↵Anders Carlsson2011-04-191-0/+4
| | | | | | pointers. Fixes PR9746. llvm-svn: 129741
* Teach VariadicMethodTypeChecker to not crash when processing methods ↵Ted Kremenek2011-04-121-1/+2
| | | | | | declared in protocols. llvm-svn: 129395
* Teach VariadicMethodTypeChecker about pointers attributed as 'NSObject'.Ted Kremenek2011-03-171-0/+4
| | | | llvm-svn: 127798
* Teach VariadicMethodTypeChecker that CF references are valid arguments to ↵Ted Kremenek2011-03-171-0/+5
| | | | | | variadic Objective-C methods. llvm-svn: 127797
* VariadicMethodTypeChecker: don't warn for null pointer constants passed to ↵Ted Kremenek2011-03-161-0/+5
| | | | | | variadic Objective-C methods. llvm-svn: 127719
* Tweak VariadicMethodTypeChecker to only create one ExplodedNode when issuing ↵Ted Kremenek2011-03-141-7/+11
| | | | | | | | multiple warnings for the same message expression. Also add a test case showing that we correctly report multiple warnings for the same message expression. llvm-svn: 127605
* Add an Objective-C checker that checks that arguments passed to some ↵Anders Carlsson2011-03-131-0/+141
| | | | | | | | variadic Objective-C methods are of Objective-C pointer types. Ted or Argiris, I'd appreciate a review! llvm-svn: 127572
* Make the Objective-C checker look for subclasses of NSString instead of just ↵Anders Carlsson2011-03-081-13/+14
| | | | | | NSString and NSMutableString. llvm-svn: 127268
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-5/+5
| | | | llvm-svn: 126726
* [analyzer] Remove unused checker stuff from AnalysisConsumer and some unused ↵Argyrios Kyrtzidis2011-02-281-3/+0
| | | | | | headers. llvm-svn: 126690
* [analyzer] Migrate to CheckerV2:Argyrios Kyrtzidis2011-02-231-2/+1
| | | | | | | | | | | | CastToStructChecker FixedAddressChecker MacOSXAPIChecker PointerArithChecker PointerSubChecker PthreadLockChecker UnixAPIChecker llvm-svn: 126284
* [analyzer] Migrate the BasicObjCFoundationChecks to CheckerV2:Argyrios Kyrtzidis2011-02-231-67/+46
| | | | | | | | NilArgChecker CFNumberCreateChecker ClassReleaseChecker llvm-svn: 126275
* [analyzer] Pass CheckerManager to the registration functions.Argyrios Kyrtzidis2011-02-171-4/+21
| | | | llvm-svn: 125777
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-1/+1
| | | | | | by kremenek. llvm-svn: 125687
* [analyzer] Use the new registration mechanism on the apple checkers:Argyrios Kyrtzidis2011-02-161-4/+12
| | | | | | | | | | NilArgChecker CFNumberCreateChecker NSAutoreleasePoolChecker CFRetainReleaseChecker ClassReleaseChecker llvm-svn: 125636
* Split 'include/clang/StaticAnalyzer' into ↵Ted Kremenek2011-02-101-7/+7
| | | | | | | | 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. This layout matches lib/StaticAnalyzer, which corresponds to two StaticAnalyzer libraries. llvm-svn: 125251
* [analyzer] Introduce ObjCMessage which represents both explicit ObjC message ↵Argyrios Kyrtzidis2011-01-251-33/+24
| | | | | | | | | | expressions and implicit messages that are sent for handling properties in dot syntax. Replace all direct uses of ObjCMessageExpr in the checkers and checker interface with ObjCMessage. llvm-svn: 124159
* [analyzer] Simplify GetReceiverType function in ↵Argyrios Kyrtzidis2011-01-251-18/+2
| | | | | | BasicObjCFoundationChecks.cpp; no functionality change. llvm-svn: 124157
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+521
layout. :) Rename the 'EntoSA' directories to 'StaticAnalyzer'. Internally we will still use the 'ento' namespace for the analyzer engine (unless there are further sabre rattlings...). llvm-svn: 122514
OpenPOWER on IntegriCloud