aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
AgeCommit message (Expand)Author
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-01-26[analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode.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-22[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose
2012-09-05[analyzer] Enhance the member expr tracking to account for references.Anna Zaks
2012-09-05[analyzer] Remove unneeded code.Anna Zaks
2012-08-29[analyzer] Improved diagnostic pruning for calls initializing values.Anna Zaks
2012-08-28[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose
2012-08-04[analyzer] Don't assume values bound to references are automatically non-null.Jordan Rose
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose
2012-08-02[analyzer] Add a simple check for initializing reference variables with null.Jordan Rose
2012-05-31Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we...Ted Kremenek
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-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-10-06[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ...Anna Zaks
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-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis
2011-01-11[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently...Argyrios Kyrtzidis
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek