aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
AgeCommit message (Expand)Author
2013-04-26[analyzer] An ObjC for-in loop runs 0 times if the collection is nil.Jordan Rose
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-04-08Tweak warning text for nil value in ObjC container warning.Ted Kremenek
2013-04-05[analyzer] Reword error messages for nil keys and values of NSMutableDictionary.Anna Zaks
2013-03-26[analyzer] Make sure IDC works for ‘NSContainer value/key is nil’ checks.Anna Zaks
2013-03-23[analyzer] Warn when a nil key or value are passed to NSMutableDictionary and...Anna Zaks
2013-03-18[analyzer] Warn when a ‘nil’ object is added to NSArray or NSMutableArray.Anna Zaks
2013-03-09[analyzer] Rename AttrNonNullChecker -> NonNullParamCheckerAnna Zaks
2013-02-21Avoid implicit conversions of Optional<T> to bool.David Blaikie
2013-02-21Use None rather than Optional<T>() where possible.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Remove redundant Optional type in favor of llvm::OptionalDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-12-01Include pruning and general cleanup.Benjamin Kramer
2012-11-07[analyzer] Check that the argument to CFMakeCollectable is non-NULL.Jordan Rose
2012-11-06[analyzer] Remove isWithinInlined. It's been replaced with inTopFrame().Anna Zaks
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
2012-09-25[analyzer] Fix a buildbot crash triggered by turning on dynamicAnna Zaks
2012-09-10Make helper functions static.Benjamin Kramer
2012-08-30[analyzer] Remove cast inside dyn_cast.Anna Zaks
2012-08-30[analyzer] Fixup for r162935 as per Jordan's review.Anna Zaks
2012-08-30[analyzer] Do not propagate the [super init] could be nil assumptionAnna Zaks
2012-08-28[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose
2012-08-22[analyzer] Fixup to r162399. Initialize the member variable.Anna Zaks
2012-08-22[analyzer] Add osx.cocoa.NonNilReturnValue checker.Anna Zaks
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-02[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose
2012-06-11[analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.Jordan Rose
2012-06-11[analyzer] When looking for a known class, only traverse the hierarchy once.Jordan Rose
2012-04-06[analyzer] Check that the arguments to NSOrderedSet creation methods are vali...Jordy Rose
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-02-05Basic: import SmallString<> into clang namespaceDylan Noblesmith
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
2012-02-04Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-12-01[analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-09-02[analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-07-16[analyzer] Place checking for Core Foundation "Create" rule into a proper API...Ted Kremenek
2011-04-19Make the VariadicMethodTypeChecker accept block pointers as Objective-C point...Anders Carlsson