summaryrefslogtreecommitdiff
path: root/test/Analysis/plist-output-alternate.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-12-15[analyzer] Include type name in Retain Count Checker diagnosticsAnna Zaks
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-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-01-08[analyzer] Plist: change the type of issue_hash from int to string.Anna Zaks
2012-11-15[analyzer] Report leaks at the closing brace of a function body.Jordan Rose
2012-11-15[analyzer] Mark symbol values as dead in the environment.Jordan Rose
2012-10-25TrackConstraintBRVisitor and ConditionBRVisitor can emit similarTed Kremenek
2012-09-22[analyzer] Track a null value back through FindLastStoreBRVisitor.Jordan Rose
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-24Fix analyzer tests.Ted Kremenek
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-28[analyzer] Retain release: drop the line number info from the leakAnna Zaks
2011-09-30[analyzer] Fix a bug in RetainReleaseChecker diagnostics. It gives more preci...Anna Zaks
2011-09-16[analyzer] Refactor: make PathDiagnosticLocation responsible for validation o...Anna Zaks
2011-09-15[analyzer] Refactor: make PathDiagnosticLocation responsible for validation o...Anna Zaks
2011-09-14[analyzer] After CFG has been linearized, we can have a situation where an Ex...Anna Zaks
2011-09-02[analyzer] Move the knowledge of whether or not GC is enabled for the current...Jordy Rose
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-07-28[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to b...Ted Kremenek
2011-05-26Tighen analyzer diagnostics w.r.t ObjC/CF leaks.Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2010-10-26Tweak null dereference checker to give better diagnostics for null dereferenc...Ted Kremenek
2010-10-15Tweak retain/release checker diagnostics to specify a leak occurs because an ...Ted Kremenek
2010-09-09Use FindReportInEquivalenceClass to identify all the nodes used for the trimm...Ted Kremenek
2010-09-09Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek