Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
d2f388299153d80cbe5ffaaed8a882b59a1b59bc
/
lib
/
StaticAnalyzer
9388699
Re-enable faux-bodies by default.
by Ted Kremenek
· 12 years ago
1cc9a80
Revert r164364, "Flip "faux-bodies" in the analyzer on by default to flush out bugs."
by NAKAMURA Takumi
· 12 years ago
85cb7a5
Flip "faux-bodies" in the analyzer on by default to flush out bugs.
by Ted Kremenek
· 12 years ago
ddc0c48
Simplify getRuntimeDefinition() back to taking no arguments.
by Ted Kremenek
· 12 years ago
a43df95
Implement faux-body-synthesis of well-known functions in the static analyzer when
by Ted Kremenek
· 12 years ago
c20c727
[analyzer] MallocChecker should not do post-call checks on inlined functions.
by Jordan Rose
· 12 years ago
8e289bb
Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBindings."
by Jordan Rose
· 12 years ago
5fc1d0c
[analyzer] Teach the analyzer about implicit initialization of statics
by Anna Zaks
· 12 years ago
45b76ba
Fix grammar.
by Ted Kremenek
· 12 years ago
be87972
When warning about unsafe uses of dispatch_once, specially handle the
by Ted Kremenek
· 12 years ago
5f7c0ad
[analyzer] Don't reimplement an existing function.
by Anna Zaks
· 12 years ago
4ef1920
Refactor logic in ExprEngine for detecting 'noreturn' methods
by Ted Kremenek
· 12 years ago
16e6a7c
[analyzer] Do not report use of undef on "return foo();" when the return type is void.
by Anna Zaks
· 12 years ago
9dc298b
[analyzer] Fix another false positive in malloc realloc logic.
by Anna Zaks
· 12 years ago
522fc21
[analyzer] Teach UndefOrNullArgVisitor to track parent regions.
by Anna Zaks
· 12 years ago
1a7bcc4
[analyzer] Fix another use of the address of a temporary, like r163402.
by Jordan Rose
· 12 years ago
d66b3c5
[analyzer] Handle when the dynamic type is worse than the static type.
by Jordan Rose
· 12 years ago
fe3769d
Revert "[analyzer] Use the static type for a virtual call if the dynamic type is worse."
by Jordan Rose
· 12 years ago
f57a2aa
Fix regression where "looping back to the head of" PathDiagnosticEvents
by Ted Kremenek
· 12 years ago
9a4db03
PR13811: Add a FunctionParmPackExpr node to handle references to function
by Richard Smith
· 12 years ago
e9f1f23
Revert "[analyzer] Disable STL inlining. Blocked by PR13724."
by Jordan Rose
· 12 years ago
19d5886
[analyzer] Use the static type for a virtual call if the dynamic type is worse.
by Jordan Rose
· 12 years ago
c6baadc
[analyzer] Disable STL inlining. Blocked by PR13724.
by Anna Zaks
· 12 years ago
00b4f64
[analyzer] Member function calls that use qualified names are non-virtual.
by Jordan Rose
· 12 years ago
e08dcbe
[analyzer] Turn stl inlining back on.
by Anna Zaks
· 12 years ago
4ea9b89
[analyzer] Do not count calls to small functions when computing stack depth.
by Anna Zaks
· 12 years ago
57330ee
[analyzer] Add an option to enable/disable objc inlining.
by Anna Zaks
· 12 years ago
7229d00
[analyzer] Add ipa-always-inline-size option (with 3 as the default).
by Anna Zaks
· 12 years ago
978869a
[analyzer] Make the defaults explicit for each of the new config options.
by Jordan Rose
· 12 years ago
81fb50e
[analyzer] For now, don't inline C++ standard library functions.
by Jordan Rose
· 12 years ago
1ad23d6
Remove redundant semicolons which are null statements.
by Dmitri Gribenko
· 12 years ago
15f9f74
Fix another case where we should be using isBeforeInTranslationUnit().
by Ted Kremenek
· 12 years ago
d727d39
Add a few more cases where we should be using isBeforeInTranslationUnit().
by Ted Kremenek
· 12 years ago
acc714b
Revert "Revert Ted's r163489 and r163490, due to breakage."
by Ted Kremenek
· 12 years ago
da88536
Make helper functions static.
by Benjamin Kramer
· 12 years ago
2343b3d
Revert Ted's r163489 and r163490, due to breakage.
by NAKAMURA Takumi
· 12 years ago
c265cdd
Use isBeforeInTranslationUnitThan() instead of operator<.
by Ted Kremenek
· 12 years ago
4dfd141
Take another crack at stabilizing the emission order of analyzer
by Ted Kremenek
· 12 years ago
7c06f03
Indent the "message" key in analyzer plist output.
by Ted Kremenek
· 12 years ago
ce15cce
Remove dead method ProgramState::MarshalState().
by Ted Kremenek
· 12 years ago
22505ef
Fix bug in BugReporter::RemoveUneededCalls() where "prunable"
by Ted Kremenek
· 12 years ago
0187a1b
Attempt (again) to stabilize the order of the emission of diagnostics
by Ted Kremenek
· 12 years ago
82f2ad4
[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.
by Jordan Rose
· 12 years ago
a435e69
[analyzer] Add debug output for ObjCSelfInitChecker's state.
by Jordan Rose
· 12 years ago
e157ae5
Revert "Attempt to make the PathDiagnostic emission order more deterministic by"
by Ted Kremenek
· 12 years ago
62a4563
Revert "Further tweaks to hopefully make the PathDiagnostic emission more deterministic."
by Ted Kremenek
· 12 years ago
24c7f98
[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.
by Jordan Rose
· 12 years ago
f6d05bb
[analyzer] Symbolic regions are live if any subregions are live.
by Jordan Rose
· 12 years ago
9874f59
[analyzer] Cast the result of a placement new-expression to the correct type.
by Jordan Rose
· 12 years ago
9f6ec82
[analyzer] Address John's code review for r163407.
by Anna Zaks
· 12 years ago
ec5fda4
Further tweaks to hopefully make the PathDiagnostic emission more deterministic.
by Ted Kremenek
· 12 years ago
47cbd0f
Remove ProgramState::getSymVal(). It was being misused by Checkers,
by Ted Kremenek
· 12 years ago
b4b4523
Attempt to make the PathDiagnostic emission order more deterministic by
by Ted Kremenek
· 12 years ago
ace64b5
Remove ConstraintManager:isEqual(). It is no longer used.
by Ted Kremenek
· 12 years ago
9198c71
[analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.
by Jordan Rose
· 12 years ago
258bd59
[analyzer] Fix a false positive in sizeof malloc checker.
by Anna Zaks
· 12 years ago
b5204ee
[analyzer] Don't use the address of a temporary CFGElement.
by Jordan Rose
· 12 years ago
99d68e9
[analyzer] Explain why we need condition 8.
by Anna Zaks
· 12 years ago
2ab012a
Fix off-by-one bug in diagnostic prose of ObjCContainersASTChecker.
by Ted Kremenek
· 12 years ago
62bde3e
ExplodedGraph::shouldCollectNode() should not collect nodes for non-Expr Stmts
by Ted Kremenek
· 12 years ago
c47dc1b
Fix bug in ConditionBRVisitor where for C++ (and not C) we were not ignoring
by Ted Kremenek
· 12 years ago
8f0d0fe
[analyzer] Fail gracefully when the dynamic type is outside the hierarchy.
by Jordan Rose
· 12 years ago
061707a
Teach RetainCountChecker that CFPlugInInstanceCreate does not
by Ted Kremenek
· 12 years ago
5601c9a
[analyzer] Don't crash if we cache out while evaluating an ObjC message.
by Jordan Rose
· 12 years ago
ec9f36e
Refine diagnostics for leaks reported when returning an object
by Ted Kremenek
· 12 years ago
2827f5a
Tweak DeadStoresChecker to not warn about dead stores to variables that
by Ted Kremenek
· 12 years ago
200fa2e
[analyzer] Don't attempt to devirtualize calls to base class destructors.
by Jordan Rose
· 12 years ago
31ba613
Dont cast away const needlessly. Found by gcc48 -Wcast-qual.
by Roman Divacky
· 12 years ago
9b925ac
[analyzer] Enhance the member expr tracking to account for references.
by Anna Zaks
· 12 years ago
5a1ffe9
[analyzer] Always include destructors in the analysis CFG.
by Jordan Rose
· 12 years ago
352c657
[analyzer] Fix a crash PR13762.
by Anna Zaks
· 12 years ago
d91696e
[analyzer] NullOrUndef diagnostics: track symbols binded to regions.
by Anna Zaks
· 12 years ago
9bc1e6d
[analyzer] Remove unneeded code.
by Anna Zaks
· 12 years ago
6ebea89
[analyzer] Be more forgiving about calling methods on struct rvalues.
by Jordan Rose
· 12 years ago
4e45dba
[analyzer] Clean up a couple uses of getPointeeType().
by Jordan Rose
· 12 years ago
fd11957
Revert "[analyzer] Treat all struct values as regions (even rvalues)."
by Jordan Rose
· 12 years ago
d21c964
Fix indentation.
by Ted Kremenek
· 12 years ago
791dd0a
[analyzer] Don't use makeIntVal to create a floating-point value.
by Jordan Rose
· 12 years ago
568ba87
Revert r163083 per chandlerc's request.
by Joao Matos
· 12 years ago
5be92de
Implemented parsing and AST support for the MS __leave exception statement. Also a minor fix to __except printing in StmtPrinter.cpp. Thanks to Aaron Ballman for review.
by Joao Matos
· 12 years ago
9eb214a
[analyzer] Silence unused variable warnings in NDEBUG builds.
by Jordan Rose
· 12 years ago
91ab900
[analyzer] Disallow creation of int vals with explicit bit width / signedness.
by Jordan Rose
· 12 years ago
d047135
[analyzer] Don't attempt to create a floating-point value of "1" for ++/--.
by Jordan Rose
· 12 years ago
4a25f30
[analyzer] Future-proofing r163012 (nameless functions and RetainCountChecker)
by Jordan Rose
· 12 years ago
02df4f0
[analyzer] Treat all struct values as regions (even rvalues).
by Jordan Rose
· 12 years ago
5699f62
[analyzer] Always derive a CallEvent's return type from its origin expr.
by Jordan Rose
· 12 years ago
305c613
Split library clangRewrite into clangRewriteCore and clangRewriteFrontend.
by Ted Kremenek
· 12 years ago
a89f719
[analyzer] RetainCountChecker: don't assume all functions have names.
by Jordan Rose
· 12 years ago
de5277f
[analyzer] Though C++ inlining is enabled, don't inline ctors and dtors.
by Jordan Rose
· 12 years ago
45796b1
Make AnalyzerOptions a shared object between CompilerInvocation and
by Ted Kremenek
· 12 years ago
987695a
Move AnalyzerOptions.h into 'Core' StaticAnalyzer sub-library.
by Ted Kremenek
· 12 years ago
3a46f5f
[analyzer] Ensure that PathDiagnostics profile the same regardless of path.
by Jordan Rose
· 12 years ago
8c916ee
[analyzer] Fix a crash in plist-html generation introduced in r162939.
by Jordan Rose
· 12 years ago
a6c66ce
Change the representation of builtin functions in the AST
by Eli Friedman
· 12 years ago
fbcb3f1
[analyzer] Refactor the logic that determines if a functions should be
by Anna Zaks
· 12 years ago
43d3974
[analyzer] Remove cast inside dyn_cast.
by Anna Zaks
· 12 years ago
dc601f4
[analyzer] Fixup for r162935 as per Jordan's review.
by Anna Zaks
· 12 years ago
f9f5fdb
[analyzer] Plist diagnostics: Fix a case where we fail to close an XML tag.
by Jordan Rose
· 12 years ago
05fcbd3
[analyzer] Do not propagate the [super init] could be nil assumption
by Anna Zaks
· 12 years ago
e788365
Teach RetainCountChecker about 'pragma clang arc_cf_code_audited'.
by Ted Kremenek
· 12 years ago
Next »