index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
StaticAnalyzer
/
Core
Age
Commit 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-22
Use 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-21
Re-enable faux-bodies by default.
Ted Kremenek
2012-09-21
Revert r164364, "Flip "faux-bodies" in the analyzer on by default to flush ou...
NAKAMURA Takumi
2012-09-21
Flip "faux-bodies" in the analyzer on by default to flush out bugs.
Ted Kremenek
2012-09-21
Simplify getRuntimeDefinition() back to taking no arguments.
Ted Kremenek
2012-09-21
Implement faux-body-synthesis of well-known functions in the static analyzer ...
Ted Kremenek
2012-09-20
Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...
Jordan Rose
2012-09-17
[analyzer] Teach the analyzer about implicit initialization of statics
Anna Zaks
2012-09-13
[analyzer] Don't reimplement an existing function.
Anna Zaks
2012-09-13
Refactor logic in ExprEngine for detecting 'noreturn' methods
Ted 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-12
Revert "[analyzer] Use the static type for a virtual call if the dynamic type...
Jordan Rose
2012-09-12
Fix regression where "looping back to the head of" PathDiagnosticEvents
Ted Kremenek
2012-09-12
PR13811: Add a FunctionParmPackExpr node to handle references to function
Richard Smith
2012-09-11
Revert "[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 stack
Anna 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-10
Fix another case where we should be using isBeforeInTranslationUnit().
Ted Kremenek
2012-09-10
Add a few more cases where we should be using isBeforeInTranslationUnit().
Ted Kremenek
2012-09-10
Revert "Revert Ted's r163489 and r163490, due to breakage."
Ted Kremenek
2012-09-10
Revert Ted's r163489 and r163490, due to breakage.
NAKAMURA Takumi
2012-09-10
Use isBeforeInTranslationUnitThan() instead of operator<.
Ted Kremenek
2012-09-10
Take another crack at stabilizing the emission order of analyzer
Ted Kremenek
2012-09-10
Indent the "message" key in analyzer plist output.
Ted Kremenek
2012-09-09
Remove dead method ProgramState::MarshalState().
Ted Kremenek
2012-09-08
Fix bug in BugReporter::RemoveUneededCalls() where "prunable"
Ted Kremenek
2012-09-08
Attempt (again) to stabilize the order of the emission of diagnostics
Ted Kremenek
2012-09-08
[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.
Jordan Rose
2012-09-08
Revert "Attempt to make the PathDiagnostic emission order more deterministic by"
Ted Kremenek
2012-09-08
Revert "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
[prev]
[next]