aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
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] Always allow BugReporterVisitors to see the bug path.Jordan Rose
2012-09-22[analyzer] Allow a BugReport to be marked "invalid" during path generation.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-22Use llvm::getOrdinalSuffix to print ordinal numbers in diagnostics.Jordan Rose
2012-09-22[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose
2012-09-22[analyzer] Check that a member expr is valid even when the result is an lvalue.Jordan Rose
2012-09-21Re-enable faux-bodies by default.Ted Kremenek
2012-09-21Revert r164364, "Flip "faux-bodies" in the analyzer on by default to flush ou...NAKAMURA Takumi
2012-09-21Flip "faux-bodies" in the analyzer on by default to flush out bugs.Ted Kremenek
2012-09-21Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-20Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...Jordan Rose
2012-09-17[analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks
2012-09-13[analyzer] Don't reimplement an existing function.Anna Zaks
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek
2012-09-12[analyzer] Do not report use of undef on "return foo();" when the return type...Anna Zaks
2012-09-12[analyzer] Teach UndefOrNullArgVisitor to track parent regions.Anna Zaks
2012-09-12[analyzer] Fix another use of the address of a temporary, like r163402.Jordan Rose
2012-09-12[analyzer] Handle when the dynamic type is worse than the static type.Jordan Rose
2012-09-12Revert "[analyzer] Use the static type for a virtual call if the dynamic type...Jordan Rose
2012-09-12Fix regression where "looping back to the head of" PathDiagnosticEventsTed Kremenek
2012-09-12PR13811: Add a FunctionParmPackExpr node to handle references to functionRichard Smith
2012-09-11Revert "[analyzer] Disable STL inlining. Blocked by PR13724."Jordan Rose
2012-09-11[analyzer] Use the static type for a virtual call if the dynamic type is worse.Jordan Rose
2012-09-11[analyzer] Disable STL inlining. Blocked by PR13724.Anna Zaks
2012-09-11[analyzer] Member function calls that use qualified names are non-virtual.Jordan Rose
2012-09-10[analyzer] Turn stl inlining back on.Anna Zaks
2012-09-10[analyzer] Do not count calls to small functions when computing stackAnna Zaks
2012-09-10[analyzer] Add an option to enable/disable objc inlining.Anna Zaks
2012-09-10[analyzer] Add ipa-always-inline-size option (with 3 as the default).Anna Zaks
2012-09-10[analyzer] Make the defaults explicit for each of the new config options.Jordan Rose
2012-09-10[analyzer] For now, don't inline C++ standard library functions.Jordan Rose
2012-09-10Fix another case where we should be using isBeforeInTranslationUnit().Ted Kremenek
2012-09-10Add a few more cases where we should be using isBeforeInTranslationUnit().Ted Kremenek
2012-09-10Revert "Revert Ted's r163489 and r163490, due to breakage."Ted Kremenek
2012-09-10Revert Ted's r163489 and r163490, due to breakage.NAKAMURA Takumi
2012-09-10Use isBeforeInTranslationUnitThan() instead of operator<.Ted Kremenek
2012-09-10Take another crack at stabilizing the emission order of analyzerTed Kremenek
2012-09-10Indent the "message" key in analyzer plist output.Ted Kremenek
2012-09-09Remove dead method ProgramState::MarshalState().Ted 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-09-08[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.Jordan Rose
2012-09-08Revert "Attempt to make the PathDiagnostic emission order more deterministic by"Ted Kremenek
2012-09-08Revert "Further tweaks to hopefully make the PathDiagnostic emission more det...Ted Kremenek
2012-09-08[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.Jordan Rose
2012-09-08[analyzer] Symbolic regions are live if any subregions are live.Jordan Rose