aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
AgeCommit message (Expand)Author
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-26[analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths.Jordan Rose
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2012-12-21Remove duplicate includes.Roman Divacky
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-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-22[analyzer] Suppress bugs whose paths go through the return of a null pointer.Jordan Rose
2012-09-22[analyzer] Track a null value back through FindLastStoreBRVisitor.Jordan Rose
2012-09-22[analyzer] Look through OpaqueValueExprs when tracking a nil value.Jordan Rose
2012-09-22[analyzer] Better path notes for null pointers passed as arguments.Jordan Rose
2012-09-22[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose
2012-09-12[analyzer] Teach UndefOrNullArgVisitor to track parent regions.Anna Zaks
2012-09-08Fix bug in BugReporter::RemoveUneededCalls() where "prunable"Ted Kremenek
2012-09-07Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoringTed Kremenek
2012-09-05[analyzer] Enhance the member expr tracking to account for references.Anna Zaks
2012-09-05[analyzer] NullOrUndef diagnostics: track symbols binded to regions.Anna Zaks
2012-08-30Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'.Ted Kremenek
2012-08-29[analyzer] Fixup 162863.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-28[analyzer] If the last store into a region came from a function, step into it.Jordan Rose
2012-08-27[analyzer] Look through casts when trying to track a null pointer dereference.Jordan Rose
2012-08-25[analyzer] Use the common evalBind infrastructure for initializers.Jordan Rose
2012-08-24[analyzer] If we dereference a NULL that came from a function, show the return.Jordan Rose
2012-08-16[analyzer] Look through all casts when trying to track constraints.Jordan Rose
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose
2012-08-03[analyzer] Flatten path diagnostics for text output like we do for HTML.Jordan Rose
2012-08-03[analyzer] FindLastStoreBRVisitor was not actually finding stores.Jordan Rose
2012-05-02Refine analyzer diagnostics by adding an expression "cone-of-influence" to re...Ted Kremenek
2012-04-05[analyzer] Change warding in a path diagnostic:Anna Zaks
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-16[analyzer] Diagnostics: Ensure that the default end of diagnostic pathAnna Zaks
2012-02-07Print NamedDecls directly to a raw_ostream where possible.Benjamin Kramer
2012-02-07Create PathDiagnosticCallEnter and PathDiagnosticCallExit, to remark calls in...Ted Kremenek
2012-02-07Quote name of function in path diagnostics.Ted Kremenek
2012-02-07Add basic BugReporter support for CallEnter/CallExit. WIP.Ted Kremenek
2012-02-05Basic: import SmallString<> 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-25Post open source analyzer build checker-259.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek