Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
3cfa5324ef1c5f75fe5e142bef8050aaf2f03704
/
lib
/
StaticAnalyzer
16303fc
Fix Cast
by David Greene
· 12 years ago
bdc691f
[analyzer] Add ProgramStatePartialTrait<const void *>.
by Jordan Rose
· 12 years ago
14a372b
[analyzer] -drain is not an alias for -release.
by Jordan Rose
· 12 years ago
cfa88f8
Remove useless 'llvm::' qualifier from names like StringRef and others that are
by Dmitri Gribenko
· 12 years ago
9195caf
Refine analyzer's handling of unary '!' and floating types to not assert.
by Ted Kremenek
· 12 years ago
707a865
Correctly propagate uninitialized values within logical expressions.
by Ted Kremenek
· 12 years ago
6de7daa
[analyzer] Rename the warning: state the issue before the hint of how it
by Anna Zaks
· 12 years ago
b8f6678
[analyzer]Recognize ivar invalidation protocol even if it was redeclared
by Anna Zaks
· 12 years ago
ae81e17
[analyzer] Ivar invalidation: track ivars declared in categories.
by Anna Zaks
· 12 years ago
6503255
[analyzer] Allow IvarInvalidation checker to suppress warnings via assertions.
by Anna Zaks
· 12 years ago
664566c
[analyzer] Fix non-determinizm introduced in r172104.
by Anna Zaks
· 12 years ago
b1fc673
[analyzer] Add more checks to the ObjC Ivar Invalidation checker.
by Anna Zaks
· 12 years ago
beac9e3
Do not model loads from complex types, since we don't accurately model the imaginary and real parts yet.
by Ted Kremenek
· 12 years ago
6dfb960
[analyzer] Only include uniqueling location as issue_hash when available
by Anna Zaks
· 12 years ago
97bfb55
[analyzer] Include the bug uniqueing location in the issue_hash.
by Anna Zaks
· 12 years ago
c1c6a49
[analyzer] Plist: change the type of issue_hash from int to string.
by Anna Zaks
· 12 years ago
0b67c75
[analyzer] Fix a false positive in Secure Keychain API checker.
by Anna Zaks
· 12 years ago
5879fb3
[analyzer] Fix a false positive in the ivar invalidation checker.
by Anna Zaks
· 12 years ago
a620bd8
NSErrorChecker: remove quoting the parameter name in the diagnostic until we actually include it's name.
by Ted Kremenek
· 12 years ago
a4a1759
Tighten code. No functionality change.
by Ted Kremenek
· 12 years ago
c37fad6
Make MallocChecker debug output useful.
by Ted Kremenek
· 12 years ago
344c77a
[analyzer] Rename callback EndPath -> EndFunction
by Anna Zaks
· 12 years ago
b99083e
Re-sort #include lines using the llvm/utils/sort_includes.py script.
by Chandler Carruth
· 12 years ago
a05d274
Fix typo: objc_no_direct_instance_variable_assignmemt => objc_no_direct_instance_variable_assignment.
by Ted Kremenek
· 12 years ago
4b6bb40
[analyzer] Convert SimpleStreamChecker to use the PointerEscape callback
by Anna Zaks
· 12 years ago
bd80231
[analyzer] Re-apply r170826 and make the dumping of the GallGraph deterministic.
by Anna Zaks
· 12 years ago
87aa2fb
Remove duplicate includes.
by Roman Divacky
· 12 years ago
1655bcd
[analyzer] Address Jordan's nitpicks as per code review of r170625.
by Anna Zaks
· 12 years ago
6d42f4d
Revert r170826. The output of
by Rafael Espindola
· 12 years ago
e34e193
[analyzer] Traverse the Call Graph in topological order.
by Anna Zaks
· 12 years ago
4f858df
[analyzer] Add blocks and ObjC messages to the call graph.
by Anna Zaks
· 12 years ago
bbf4d53
Update RetainCountChecker to understand attribute ns_returns_autoreleased.
by Ted Kremenek
· 12 years ago
bf53dfa
[analyzer] Add the pointer escaped callback.
by Anna Zaks
· 12 years ago
9fcc2ab
Pass AnalyzerOptions to PathDiagnosticConsumer to make analyzer options accessible there.
by Ted Kremenek
· 12 years ago
8302767
Don't include the header outside the include guards, it defeats the purpose of the include guards.
by Argyrios Kyrtzidis
· 12 years ago
39cf781
[analyzer] Tweak the NumFunctionsAnalyzed stat so that it's more useful.
by Anna Zaks
· 12 years ago
7959671
[analyzer] Implement "do not inline large functions many times"
by Anna Zaks
· 12 years ago
d743243
fixed line endings
by Anton Yartsev
· 12 years ago
2bfa166
added post-statement callback to CXXNewExpr and pre-statement callback to CXXDeleteExpr
by Anton Yartsev
· 12 years ago
12b3e31
[analyzer] Propagate the checker's state from checkBranchCondition
by Anna Zaks
· 12 years ago
b467051
[analyzer] Refactor: Store visited Decls instead of CallGraphNodes.
by Anna Zaks
· 12 years ago
b0abacf
Refactor dump methods to make RegionBindingsRef printable in the debugger.
by Ted Kremenek
· 12 years ago
45397f9
[analyzer] Fix doc error (wrong param name) in ObjCSuperCallChecker.
by Jordan Rose
· 12 years ago
e14999e
[analyzer] Generalize ObjCMissingSuperCallChecker.
by Jordan Rose
· 12 years ago
1812652
[analyzer] Fix a self-init checker false positive.
by Anna Zaks
· 12 years ago
4f69eb4
[analyzer] Don't crash running destructors for multidimensional arrays.
by Jordan Rose
· 12 years ago
c2cca23
[analyzer] Don't generate a summary for "freeWhenDone" if method is inlined.
by Anna Zaks
· 12 years ago
75f31c4
[analyzer] Optimization heuristic: do not reanalyze every ObjC method as
by Anna Zaks
· 12 years ago
afa7cae
[analyzer] Fix r168019 to work with unpruned paths as well.
by Jordan Rose
· 12 years ago
18f860e
Reduce conversions between Store <-> ImmutableMapRef in RegionStore.
by Ted Kremenek
· 12 years ago
0c312a9
Add helper method to convert from a RegionStoreRefBindings to a Store.
by Ted Kremenek
· 12 years ago
bf25fb1
Cache queries to lookupPrivateMethod() within ObjCMethodCall::getRuntimeDefinition().
by Ted Kremenek
· 12 years ago
23dca7d
Further reduce analysis time by 0.2% on a heavy Objective-C example by avoiding over-eager canonicalization of clusters.
by Ted Kremenek
· 12 years ago
75191fd
Unbreak the GCC (4.4 & other bot) builds from r169571.
by David Blaikie
· 12 years ago
29f5ccd
Change RegionStore to always use ImmutableMapRef for processing cluster bindings.
by Ted Kremenek
· 12 years ago
1449149
Revert "[analyzer] Aggressively cut back on the canonicalization in RegionStore."
by Ted Kremenek
· 12 years ago
c39f9fa
[analyzer] Remove isa<> followed by dyn_cast<>.
by Jordan Rose
· 12 years ago
9428723
[analyzer] Remove unused fields from ExprEngine.
by Jordan Rose
· 12 years ago
e9cd031
[analyzer] Remove checks that predate the linearized CFG.
by Jordan Rose
· 12 years ago
4ee1c55
[analyzer] Simplify RetainCountChecker's handling of dead symbols.
by Jordan Rose
· 12 years ago
4ecca28
[analyzer] Use a smarter algorithm to find the last block in an inlined call.
by Jordan Rose
· 12 years ago
6960d08
[analyzer] Use optimized assumeDual for branches.
by Jordan Rose
· 12 years ago
426cc12
[analyzer] Aggressively cut back on the canonicalization in RegionStore.
by Jordan Rose
· 12 years ago
7affe15
[analyzer] Remove bindExprAndLocation, which does extra work for no gain.
by Jordan Rose
· 12 years ago
e3ce2c1
Only provide explicit getCapturedRegion() and getOriginalRegion() from referenced_vars_iterator.
by Ted Kremenek
· 12 years ago
24570c4
Pull logic to map from VarDecl* to captured region using a helper function. WIP.
by Ted Kremenek
· 12 years ago
e0c6c67
Use 'getOriginalRegion()' rather than going through the logic to recreate it.
by Ted Kremenek
· 12 years ago
aacadfe
Add missing virtual destructors reported by -Wnon-virtual-dtor.
by Daniel Jasper
· 12 years ago
39a62fc
[analyzer] Implement an opt-in variant of direct ivar assignment.
by Anna Zaks
· 12 years ago
79762d3
Alphabetize source files, just like they have been before.
by Ted Kremenek
· 12 years ago
55fc873
Sort all of Clang's files under 'lib', and fix up the broken headers uncovered.
by Chandler Carruth
· 12 years ago
9d5a78d
Add raw_ostream include to pacify MSVC.
by Benjamin Kramer
· 12 years ago
a93d0f2
Include pruning and general cleanup.
by Benjamin Kramer
· 12 years ago
9852f58
Don't include Type.h in DeclarationName.h.
by Benjamin Kramer
· 12 years ago
2fa67ef
Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't pull in all the generated Attr code.
by Benjamin Kramer
· 12 years ago
9c04666
Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <rdar://problem/12759044>.
by Ted Kremenek
· 12 years ago
3881866
Remove workaround in RegionStore in r168741 since it is handled more generally by r168757.
by Ted Kremenek
· 12 years ago
1994e39
Fix another false positive due to a CXX temporary object appearing in a C initializer.
by Ted Kremenek
· 12 years ago
bd8a11e
Provide stop-gap solution to crash reported in PR 14436.
by Ted Kremenek
· 12 years ago
dac6cd5
[analyzer] Fix a crash reported in PR 14400.
by Anna Zaks
· 12 years ago
4d9f4e5
Make helpers static/anonymous.
by Benjamin Kramer
· 12 years ago
84e1513
[analyzer] Fix a use-after-free introduced in r168019.
by Jordan Rose
· 12 years ago
63bc186
[analyzer] Report leaks at the closing brace of a function body.
by Jordan Rose
· 12 years ago
f34a579
[analyzer] StreamChecker: Remove now-unnecessary check::EndPath callback.
by Jordan Rose
· 12 years ago
7f82bc8
[analyzer] MacOSKeychainAPIChecker: Remove now-unnecessary check::EndPath.
by Jordan Rose
· 12 years ago
65d4bd6
[analyzer] MallocChecker: Remove now-unnecessary check::EndPath callback.
by Jordan Rose
· 12 years ago
84c4845
[analyzer] Mark symbol values as dead in the environment.
by Jordan Rose
· 12 years ago
368f3b0
[analyzer] Make sure calls in synthesized functions have valid path locations.
by Jordan Rose
· 12 years ago
2ccecfa
[analyzer] Address Jordan's code review for r167813.
by Anna Zaks
· 12 years ago
4141e4d
Fix a Malloc Checker FP by tracking return values from initWithCharacter
by Anna Zaks
· 12 years ago
bae930d
[analyzer] Address Jordan's feedback for r167780.
by Anna Zaks
· 12 years ago
d51db49
[analyzer] Follow up to r167762 - precisely determine the adjustment conditions.
by Anna Zaks
· 12 years ago
e7ad14e
[analyzer] Fix a regression (from r 165079): compare canonical types.
by Anna Zaks
· 12 years ago
4e674f7
[analyzer] When invalidating symbolic offset regions, take fields into account.
by Jordan Rose
· 12 years ago
0fe4d40
[analyzer] Check that the argument to CFMakeCollectable is non-NULL.
by Jordan Rose
· 12 years ago
65bc653
[analyzer] Enhance docs for checker callbacks (esp. processRegionChanges).
by Jordan Rose
· 12 years ago
35d4a09
[analyzer] Add symbol escapes logic to the SimpleStreamChecker.
by Anna Zaks
· 12 years ago
d1ad5e5
[analyzer] Remove isWithinInlined. It's been replaced with inTopFrame().
by Anna Zaks
· 12 years ago
40d8551
[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.h
by Jordan Rose
· 12 years ago
0a591c2
StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp: Appease msvc.
by NAKAMURA Takumi
· 12 years ago
Next »