summaryrefslogtreecommitdiff
path: root/test/Analysis/plist-output.m
AgeCommit message (Expand)Author
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2016-10-05[analyzer] Add "Assuming..." diagnostic pieces for unsupported conditions.Artem Dergachev
2015-10-22[analyzer] Bug identificationGabor Horvath
2015-02-09[Static Analyzer] The name of the checker that reports a bug is addedGabor Horvath
2013-06-03[analyzer] Enable the new edge algorithm by default.Jordan Rose
2013-06-03CFG: In a DeclStmt, skip anything that's not a VarDecl.Jordan Rose
2013-04-23[analyzer] Set the allocation site to be the uniqueing location for retain co...Anna Zaks
2013-04-23[analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::create...Anna Zaks
2013-04-18[analyzer] Refine 'nil receiver' diagnostics to mention the name of the metho...Ted Kremenek
2013-03-13[analyzer] Handle Objc Fast enumeration for "loop is executed 0 times".Ted Kremenek
2013-02-27[analyzer] Teach FindLastStoreBRVisitor to understand stores of the same value.Jordan Rose
2013-02-26[analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a...Ted Kremenek
2013-02-24[analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek
2013-02-22[analyzer] Implement "Loop executed 0 times" diagnostic correctly.Ted Kremenek
2013-02-08Teach BugReporter (extensive diagnostics) to emit a diagnostic when a loop bo...Ted Kremenek
2013-01-08[analyzer] Plist: change the type of issue_hash from int to string.Anna Zaks
2012-10-25TrackConstraintBRVisitor and ConditionBRVisitor can emit similarTed Kremenek
2012-10-06[analyzer] Tweak test to run the retain-count checker even on non-Darwin.Jordan Rose
2012-10-06[analyzer] Handle implicit statements used for end-of-path nodes' source locs.Jordan Rose
2012-09-22[analyzer] Track a null value back through FindLastStoreBRVisitor.Jordan Rose
2012-09-12Fix regression where "looping back to the head of" PathDiagnosticEventsTed Kremenek
2012-09-08Fix bug in BugReporter::RemoveUneededCalls() where "prunable"Ted Kremenek
2012-09-08Attempt (again) to stabilize the order of the emission of diagnosticsTed Kremenek
2012-08-06[analyzer] Improve arrow locations for PseudoObjectExprs.Jordan Rose
2012-06-08[analyzer] Add experimental "issue hash" to the plist diagnostic.Anna Zaks
2012-06-05PlistDiagnostics: force the ranges for control-flow edges to be single locati...Ted Kremenek
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek
2012-04-04Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek
2012-02-18Fix crash in analyzer diagnostic generation involving subexpressions of Opaqu...Ted Kremenek
2012-01-04Extend ConditionBRVisitor to handle condition variable assignments.Ted Kremenek
2011-12-20Fix inversion of static analyzer path diagnostics for path conditions.Ted Kremenek
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2010-09-09Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek
2010-09-02For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE...Ted Kremenek
2010-03-23Tweak null dereference diagnostics to give clearer diagnostics whenTed Kremenek
2010-02-05Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek
2009-12-15Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar
2009-12-14Replace clang-cc with clang -cc1.Zhongxing Xu
2009-11-29Normalize options to use '-FOO' instead of '--FOO'.Daniel Dunbar