summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Remove cast inside dyn_cast.Anna Zaks2012-08-301-1/+1
* [analyzer] Fixup for r162935 as per Jordan's review.Anna Zaks2012-08-301-3/+3
* [analyzer] Do not propagate the [super init] could be nil assumptionAnna Zaks2012-08-301-8/+32
* [analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose2012-08-281-1/+1
* [analyzer] Fixup to r162399. Initialize the member variable.Anna Zaks2012-08-221-0/+2
* [analyzer] Add osx.cocoa.NonNilReturnValue checker.Anna Zaks2012-08-221-0/+45
* [analyzer] When a symbol is null, we should track its constraints.Jordan Rose2012-08-031-2/+1
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* [analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose2012-07-021-27/+26
* [analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.Jordan Rose2012-06-111-0/+74
* [analyzer] When looking for a known class, only traverse the hierarchy once.Jordan Rose2012-06-111-48/+50
* [analyzer] Check that the arguments to NSOrderedSet creation methods are vali...Jordy Rose2012-04-061-0/+12
* [analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek2012-03-091-1/+2
* Basic: import SmallString<> into clang namespaceDylan Noblesmith2012-02-051-4/+4
* Basic: import OwningPtr<> into clang namespaceDylan Noblesmith2012-02-051-5/+5
* Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer2012-02-041-0/+1
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-4/+4
* [analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek2012-01-061-5/+7
* [analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks2011-12-011-8/+2
* [analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks2011-10-261-4/+4
* [analyzer] Simplify CheckerContextAnna Zaks2011-10-251-1/+1
* [analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose2011-09-021-0/+1
* Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks2011-08-191-1/+1
* Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks2011-08-171-5/+5
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-5/+5
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-9/+9
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-1/+1
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-2/+2
* [analyzer] Place checking for Core Foundation "Create" rule into a proper API...Ted Kremenek2011-07-161-1/+1
* Make the VariadicMethodTypeChecker accept block pointers as Objective-C point...Anders Carlsson2011-04-191-0/+4
* Teach VariadicMethodTypeChecker to not crash when processing methods declared...Ted Kremenek2011-04-121-1/+2
* Teach VariadicMethodTypeChecker about pointers attributed as 'NSObject'.Ted Kremenek2011-03-171-0/+4
* Teach VariadicMethodTypeChecker that CF references are valid arguments to var...Ted Kremenek2011-03-171-0/+5
* VariadicMethodTypeChecker: don't warn for null pointer constants passed to va...Ted Kremenek2011-03-161-0/+5
* Tweak VariadicMethodTypeChecker to only create one ExplodedNode when issuing ...Ted Kremenek2011-03-141-7/+11
* Add an Objective-C checker that checks that arguments passed to some variadic...Anders Carlsson2011-03-131-0/+141
* Make the Objective-C checker look for subclasses of NSString instead of just ...Anders Carlsson2011-03-081-13/+14
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-5/+5
* [analyzer] Remove unused checker stuff from AnalysisConsumer and some unused ...Argyrios Kyrtzidis2011-02-281-3/+0
* [analyzer] Migrate to CheckerV2:Argyrios Kyrtzidis2011-02-231-2/+1
* [analyzer] Migrate the BasicObjCFoundationChecks to CheckerV2:Argyrios Kyrtzidis2011-02-231-67/+46
* [analyzer] Pass CheckerManager to the registration functions.Argyrios Kyrtzidis2011-02-171-4/+21
* Makes most methods in SVals.h conform to the naming guide. ReviewedZhanyong Wan2011-02-161-1/+1
* [analyzer] Use the new registration mechanism on the apple checkers:Argyrios Kyrtzidis2011-02-161-4/+12
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-7/+7
* [analyzer] Introduce ObjCMessage which represents both explicit ObjC message ...Argyrios Kyrtzidis2011-01-251-33/+24
* [analyzer] Simplify GetReceiverType function in BasicObjCFoundationChecks.cpp...Argyrios Kyrtzidis2011-01-251-18/+2
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+521
OpenPOWER on IntegriCloud