aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
AgeCommit message (Expand)AuthorFilesLines
2017-01-12[analyzer] Don't dereference the array value when binding it to a reference.Artem Dergachev1-6/+0
2017-01-12[analyzer] Avoid a crash in DereferenceChecker on string literal initializers.Artem Dergachev1-0/+6
2016-01-29[analyzer] Improve Nullability checker diagnosticsAnna Zaks1-2/+2
2016-01-06[analyzer] Don't report null dereferences on address_space annotated memoryAnna Zaks1-20/+35
2015-11-06[analyzer] Add VforkChecker to find unsafe code in vforked process.Yury Gribov1-9/+6
2015-09-16[analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin1-4/+4
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek1-1/+1
2015-08-27[Static Analyzer] Make NonNullParamChecker emit implicit null dereference eve...Gabor Horvath1-3/+5
2015-08-25[OPENMP 4.0] Initial support for array sections.Alexey Bataev1-0/+9
2015-08-13Remove and forbid raw_svector_ostream::flush() calls.Yaron Keren1-1/+0
2015-06-23Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman1-8/+6
2015-03-18Fix another ternary Visual C++ is OK wiht but gcc not.Yaron Keren1-1/+1
2015-03-18Remove many superfluous SmallString::str() calls.Yaron Keren1-1/+1
2014-07-05Track IntrusiveRefCntPtr::get() changes from LLVM r212366Alp Toker1-4/+4
2014-03-07Replace OwningPtr with std::unique_ptr.Ahmed Charles1-2/+2
2014-03-02[C++11] Replace llvm::tie with std::tie.Benjamin Kramer1-3/+2
2014-02-11Expose the name of the checker producing each diagnostic message.Alexander Kornienko1-2/+3
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek1-0/+8
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie1-3/+4
2013-01-26[analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode.Jordan Rose1-2/+2
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-1/+1
2012-12-01Include pruning and general cleanup.Benjamin Kramer1-0/+1
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose1-2/+2
2012-09-22[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose1-12/+7
2012-09-05[analyzer] Enhance the member expr tracking to account for references.Anna Zaks1-1/+1
2012-09-05[analyzer] Remove unneeded code.Anna Zaks1-18/+8
2012-08-29[analyzer] Improved diagnostic pruning for calls initializing values.Anna Zaks1-1/+0
2012-08-28[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose1-5/+3
2012-08-04[analyzer] Don't assume values bound to references are automatically non-null.Jordan Rose1-3/+18
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose1-6/+5
2012-08-02[analyzer] Add a simple check for initializing reference variables with null.Jordan Rose1-94/+152
2012-05-31Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we...Ted Kremenek1-0/+1
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek1-13/+35
2012-02-05Basic: import SmallString<> into clang namespaceDylan Noblesmith1-1/+1
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith1-2/+2
2012-02-04Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer1-0/+1
2012-01-28StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer1-0/+1
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek1-2/+2
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks1-1/+1
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks1-1/+1
2011-10-06[analyzer] Remove the dependency on CheckerContext::getStmt() as well as the ...Anna Zaks1-4/+4
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks1-4/+4
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks1-4/+4
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek1-2/+2
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner1-6/+6
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis1-2/+2
2011-02-28[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis1-41/+28
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek1-3/+3
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis1-1/+1
2011-01-11[analyzer] Add 'isLoad' parameter in Checker::visitLocation() to conveniently...Argyrios Kyrtzidis1-2/+3