aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
AgeCommit message (Expand)Author
2013-04-03[analyzer] Warn when nil receiver results in forming null referenceAnna Zaks
2013-03-27[analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not re...Anna Zaks
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-01-26[analyzer] Track null object lvalues back through C++ method calls.Jordan Rose
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-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
2012-09-10Make helper functions static.Benjamin Kramer
2012-08-28[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose
2012-08-15[analyzer] If we call a C++ method on an object, assume it's non-null.Jordan Rose
2012-08-04[analyzer] Use a more robust check for null in CallAndMessageChecker.Jordan Rose
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose
2012-08-03[analyzer] Track null/uninitialized C++ objects used in method calls.Jordan Rose
2012-07-26[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose
2012-07-26Add static analyzer check for calling a C++ instance method with a null/unini...Ted Kremenek
2012-07-18[analyzer] Combine all ObjC message CallEvents into ObjCMethodCall.Jordan Rose
2012-07-02[analyzer] If 'super' is known to be nil, we can still mark its range.Jordan Rose
2012-07-02[analyzer] Convert existing checkers to use check::preCall and check::postCall.Jordan Rose
2012-07-02[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.Jordan Rose
2012-07-02[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.Jordan Rose
2012-07-02[analyzer] Convert CallAndMessageChecker and ObjCSelfInitChecker to CallEvent.Jordan Rose
2012-06-06Revert Decl's iterators back to pointer value_type rather than reference valu...David Blaikie
2012-06-06Remove unused private member variables found by clang's new -Wunused-private-...Benjamin Kramer
2012-04-30Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-03-05Teak CallAndMessageChecker to only warn about uninitialized struct fields in ...Ted Kremenek
2012-02-18Adopt ExprEngine and checkers to ObjC property refactoring. Everything was w...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-31Fix an assertion failure in isMacOSXVersionLT for IOS targets.Bob Wilson
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-12[analyzer] Rename Store::Retrieve() -> getBinding().Anna Zaks
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-11-01[analyzer] CheckerContext::getPredecessor() cleanupAnna Zaks
2011-10-28[analyzer] ObjC message sends to nil receivers that return structs are now ok...Ted Kremenek
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-10-14Change operator<< for raw_ostream and NamedDecl to take a reference instead o...Benjamin Kramer
2011-09-02[analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose
2011-09-02Extend the ASTContext constructor to delay the initialization ofDouglas Gregor
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-02Update for llvm commit r134291.Eric Christopher
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis