aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/BugReporter
AgeCommit message (Expand)Author
2013-05-04[analyzer;alternate edges] start experimenting with control flow "barriers" t...Ted Kremenek
2013-05-04[analyzer; alternate edges] prune edges whose end/begin locations have the sa...Ted Kremenek
2013-05-03[analyzer] Start hacking up alternate control-flow edge generation. WIP. No...Ted Kremenek
2013-05-03Re-apply 180974 with the build error fixed. This was the resultTed Kremenek
2013-05-03Revert "Change LocationContextMap to be a temporary instead of shared variabl...Rafael Espindola
2013-05-02Change LocationContextMap to be a temporary instead of shared variable in Bug...Ted Kremenek
2013-04-29Just use std::list<> for PathPieces instead of complicated use of ilist.Ted Kremenek
2013-04-29Revert "[analyzer] Change PathPieces to be a wrapper around an ilist of (thro...Ted Kremenek
2013-04-29[analyzer] Change PathPieces to be a wrapper around an ilist of (through indi...Ted Kremenek
2013-04-23[analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks
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-02-18Use LLVM_DELETED_FUNCTION rather than '// do not implement' comments.David 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-19[analyzer] Suppress warnings coming out of macros defined in sys/queue.hAnna Zaks
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-08[analyzer] Include the bug uniqueing location in the issue_hash.Anna Zaks
2012-12-07[analyzer] Fix r168019 to work with unpruned paths as well.Jordan Rose
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-15[analyzer] Make sure calls in synthesized functions have valid path locations.Jordan Rose
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
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-10-11Remove pointless classof()'s.Sean Silva
2012-10-11Add missing classof().Sean Silva
2012-09-22[analyzer] Allow a BugReport to be marked "invalid" during path generation.Jordan Rose
2012-09-22Use llvm::getOrdinalSuffix to print ordinal numbers in diagnostics.Jordan Rose
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-18Mark unimplemented copy constructors and copy assignment operators with LLVM_...Craig Topper
2012-09-10Have PathDiagnosticPiece::getString() return a StringRef insteadTed Kremenek
2012-09-05[analyzer] Enhance the member expr tracking to account for references.Anna Zaks
2012-08-31[analyzer] Ensure that PathDiagnostics profile the same regardless of path.Jordan Rose
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-24Rework how PathDiagnosticConsumers pass knowledge of what files theyTed Kremenek
2012-08-16Remove "range_iterator" from PathDiagnosticPiece and just use ArrayRef<Source...Ted Kremenek
2012-08-16Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose