Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
refs/heads/fp2-m-sibon
/
test
/
Analysis
/
plist-output.m
0e2c34f
Update aosp/master clang for rebase to r230699.
by Stephen Hines
· 10 years ago
048eeea
[analyzer] Enable the new edge algorithm by default.
by Jordan Rose
· 11 years ago
2794bc0
CFG: In a DeclStmt, skip anything that's not a VarDecl.
by Jordan Rose
· 11 years ago
e3a813a
[analyzer] Set the allocation site to be the uniqueing location for retain count checker leaks.
by Anna Zaks
· 11 years ago
0f85792
[analyzer] Refactor BugReport::getLocation and PathDiagnosticLocation::createEndOfPath for greater code reuse
by Anna Zaks
· 11 years ago
62fba4f
[analyzer] Refine 'nil receiver' diagnostics to mention the name of the method not called.
by Ted Kremenek
· 11 years ago
c5b9c8b
[analyzer] Handle Objc Fast enumeration for "loop is executed 0 times".
by Ted Kremenek
· 12 years ago
6f41608
[analyzer] Teach FindLastStoreBRVisitor to understand stores of the same value.
by Jordan Rose
· 12 years ago
4238f41
[analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a VarRegion.
by Ted Kremenek
· 12 years ago
43b82b8
[analyzer] tracking stores/constraints now works for ObjC ivars or struct fields.
by Ted Kremenek
· 12 years ago
b04a238
[analyzer] Implement "Loop executed 0 times" diagnostic correctly.
by Ted Kremenek
· 12 years ago
8185674
Teach BugReporter (extensive diagnostics) to emit a diagnostic when a loop body is skipped.
by Ted Kremenek
· 12 years ago
c1c6a49
[analyzer] Plist: change the type of issue_hash from int to string.
by Anna Zaks
· 12 years ago
b85cce0
TrackConstraintBRVisitor and ConditionBRVisitor can emit similar
by Ted Kremenek
· 12 years ago
b1368c8
[analyzer] Tweak test to run the retain-count checker even on non-Darwin.
by Jordan Rose
· 12 years ago
cf4ce93
[analyzer] Handle implicit statements used for end-of-path nodes' source locs.
by Jordan Rose
· 12 years ago
53221da
[analyzer] Track a null value back through FindLastStoreBRVisitor.
by Jordan Rose
· 12 years ago
f57a2aa
Fix regression where "looping back to the head of" PathDiagnosticEvents
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
2b1b025
[analyzer] Improve arrow locations for PseudoObjectExprs.
by Jordan Rose
· 12 years ago
a64fae1
[analyzer] Add experimental "issue hash" to the plist diagnostic.
by Anna Zaks
· 12 years ago
7453a72
PlistDiagnostics: force the ranges for control-flow edges to be single locations, forcing
by Ted Kremenek
· 12 years ago
bd61313
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode
by Ted Kremenek
· 12 years ago
0718952
Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output.
by Ted Kremenek
· 12 years ago
76aadc3
[analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions.
by Ted Kremenek
· 13 years ago
e215ba1
Fix crash in analyzer diagnostic generation involving subexpressions of OpaqueValueExpr not appearing in the ParentMap. Fixes <rdar://problem/10797980>.
by Ted Kremenek
· 13 years ago
d1247c5
Extend ConditionBRVisitor to handle condition variable assignments.
by Ted Kremenek
· 13 years ago
6ae3257
Fix inversion of static analyzer path diagnostics for path conditions.
by Ted Kremenek
· 13 years ago
033a07e
[analyzer] rename all experimental checker packages to have 'experimental' be the common root package.
by Ted Kremenek
· 13 years ago
c4d2c90
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
by Argyrios Kyrtzidis
· 14 years ago
65d3925
[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore.
by Argyrios Kyrtzidis
· 14 years ago
96ebad6
Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().
by Ted Kremenek
· 14 years ago
79d7304
For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE. Now StoreE (const Stmt*) represents the expression where the store took place, which is the assignment expression if it takes place in an assignment. This removes some conceptual dissidence as well as removes an extra parameter from the Checker::PreVisitBind() visitor. It also improves ranges and source location information in analyzer diagnostics.
by Ted Kremenek
· 14 years ago
452b84d
Tweak null dereference diagnostics to give clearer diagnostics when
by Ted Kremenek
· 15 years ago
565e465
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
by Ted Kremenek
· 15 years ago
a572887
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
by Daniel Dunbar
· 15 years ago
ef74f4c
Replace clang-cc with clang -cc1.
by Zhongxing Xu
· 15 years ago
8a90ac0
Normalize options to use '-FOO' instead of '--FOO'.
by Daniel Dunbar
· 15 years ago
e576af2
Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>.
by Ted Kremenek
· 15 years ago
48cebf2
Add newline at the end of the file.
by Ted Kremenek
· 15 years ago
c6ea5d4
Add test to verify that the analyzer plist output is what we expect.
by Ted Kremenek
· 15 years ago