aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h
AgeCommit message (Expand)Author
2013-04-17[analyzer] Allow TrackConstraintBRVisitor to work when the value it’s track...Anna Zaks
2013-03-29[analyzer] Address Jordan’s review of r178309 - do not register an extra vi...Anna Zaks
2013-03-28[analyzer] Apply the suppression rules to the nil receiver only if the value ...Anna Zaks
2013-03-27[analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not re...Anna Zaks
2013-03-18[analyzer] Replace uses of assume() with isNull() in BR visitors.Jordan Rose
2013-03-14[analyzer] Change the way in which IDC Visitor decides to kick in and make su...Anna Zaks
2013-03-09[analyzer] Make Suppress IDC checker aware that it might not start from the s...Anna Zaks
2013-03-02[analyzer] Simple inline defensive checks suppressionAnna Zaks
2013-02-24Add "KnownSVal" to represent SVals that cannot be UnknownSVal.Ted Kremenek
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-01-30[analyzer] Move report false positive suppression to report visitors.Anna Zaks
2013-01-26[analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode.Jordan Rose
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2012-10-29[analyzer] New option to not suppress null return paths if an argument is null.Jordan Rose
2012-10-29[analyzer] Use the CallEnter node to get a value for tracked null arguments.Jordan Rose
2012-10-25TrackConstraintBRVisitor and ConditionBRVisitor can emit similarTed Kremenek
2012-09-05[analyzer] Enhance the member expr tracking to account for references.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-28[analyzer] Refactor FindLastStoreBRVisitor to not find the store ahead of time.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-03-24Don't cast away constness.Benjamin Kramer
2012-03-24[analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able ...Jordy Rose
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-02-28[analyzer diagnostics] start prototyping stripping PathDiagnostics of unneces...Ted Kremenek
2012-02-24Reapply r151317, but when computing the PathDiagnostic profile and size keep ...Ted Kremenek
2012-02-24Revert r151317 - Rework PathDiagnostics creation.. - to appease buildbots.Chad Rosier
2012-02-24Rework PathDiagnostic creation so that call stacks are captured by a nested P...Ted Kremenek
2012-02-07Add basic BugReporter support for CallEnter/CallExit. WIP.Ted Kremenek
2012-01-04Extend ConditionBRVisitor to handle condition variable assignments.Ted Kremenek
2011-09-15[analyzer] Refactor: make PathDiagnosticLocation responsible for validation o...Anna Zaks
2011-08-20Static Analyzer Diagnostics: Move the responsibility for generating the endOf...Anna Zaks
2011-08-19Static Analyzer Diagnostics: Switch CFRefCount to using the new visitor API. ...Anna Zaks
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks