Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
e09b8c41d0eeb17f8cbe73affb213cb7ff8d0718
/
lib
/
StaticAnalyzer
41f3f3a
Silence a number of static analyzer warnings with assertions and such.
by Jordan Rose
· 11 years ago
5aff3f1
[analyzer] Don't let cf_audited_transfer override CFRetain semantics.
by Jordan Rose
· 11 years ago
cc5dbda
[analyzer] Simple inline defensive checks suppression
by Anna Zaks
· 11 years ago
d764e20
[analyzer] Special-case bitfields when finding sub-region bindings.
by Jordan Rose
· 11 years ago
9abf1b4
[analyzer] Suppress paths involving a reference whose rvalue is null.
by Jordan Rose
· 11 years ago
e33d852
[analyzer] RegionStore: collectSubRegionKeys -> collectSubRegionBindings
by Jordan Rose
· 12 years ago
6f41608
[analyzer] Teach FindLastStoreBRVisitor to understand stores of the same value.
by Jordan Rose
· 12 years ago
a11f22f
[analyzer] Turn on C++ constructor inlining by default.
by Jordan Rose
· 12 years ago
b7a3f74
[analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLVM codebase.
by Ted Kremenek
· 12 years ago
deb8f5d
[analyzer] If a struct has a partial lazy binding, its fields aren't Undef.
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
eafb5c6
[analyzer] Don't look through casts when creating pointer temporaries.
by Jordan Rose
· 12 years ago
a0e6e6d
[analyzer] StackAddrEscapeChecker: strip qualifiers from temporary types.
by Jordan Rose
· 12 years ago
db061e4
[analyzer] Restrict ObjC type inference to methods that have related result type.
by Anna Zaks
· 12 years ago
6f8e9b6
[analyzer] Recover all PreStmtPurgeDeadSymbols nodes with a single successor or predecessor.
by Ted Kremenek
· 12 years ago
42f2309
[analyzer] Address Jordan's code review of r175857.
by Anna Zaks
· 12 years ago
fbdbed3
[analyzer] Handle reference parameters with default values.
by Jordan Rose
· 12 years ago
6dc5c33
[analyzer] Base regions may be invalid when layered on symbolic regions.
by Jordan Rose
· 12 years ago
6c5038c
[analyzer] Relax assumption in FindLastStoreBRVisitor that the thing we are looking for is always a VarRegion.
by Ted Kremenek
· 12 years ago
4e9c085
[analyzer] add the notion of an "interesting" lvalue expression for ExplodedNode pruning.
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
0dd15d7
Add "KnownSVal" to represent SVals that cannot be UnknownSVal.
by Ted Kremenek
· 12 years ago
b078054
Remove the CFGElement "Invalid" state.
by David Blaikie
· 12 years ago
ae7396c
[analyzer] Don't canonicalize the RecordDecl used in CXXBaseObjectRegion.
by Jordan Rose
· 12 years ago
b04a238
[analyzer] Implement "Loop executed 0 times" diagnostic correctly.
by Ted Kremenek
· 12 years ago
8dadf15
[analyzer] Place all inlining policy checks into one palce
by Anna Zaks
· 12 years ago
5e5440b
[analyzer] Make sure a materialized temporary matches its bindings.
by Jordan Rose
· 12 years ago
f08740b
Fix regression in modeling assignments of an address of a variable to itself. Fixes <rdar://problem/13226577>.
by Ted Kremenek
· 12 years ago
87193da
[analyzer] Fix buildbot by not reusing a variable name.
by Jordan Rose
· 12 years ago
9f1d541
[analyzer] Make sure a temporary object region matches its initial bindings.
by Jordan Rose
· 12 years ago
df1f94e
Simplify code to use castAs rather than getAs + assert.
by David Blaikie
· 12 years ago
e130014
Add back implicitly dropped const.
by David Blaikie
· 12 years ago
7a95de6
Replace ProgramPoint llvm::cast support to be well-defined.
by David Blaikie
· 12 years ago
fdf6a27
Replace CFGElement llvm::cast support to be well-defined.
by David Blaikie
· 12 years ago
0adb175
Avoid implicit conversions of Optional<T> to bool.
by David Blaikie
· 12 years ago
6d35b41
StaticAnalyzer/Core: Suppress warnings. [-Wunused-variable, -Wunused-function]
by NAKAMURA Takumi
· 12 years ago
79741c4
Whitespace.
by NAKAMURA Takumi
· 12 years ago
4411b42
[analyzer] Record whether a base object region represents a virtual base.
by Jordan Rose
· 12 years ago
472b061
[analyzer] Tidy up a few uses of Optional in RegionStore.
by Jordan Rose
· 12 years ago
66874fb
Use None rather than Optional<T>() where possible.
by David Blaikie
· 12 years ago
11f0cae
[analyzer] Tighten up safety in the use of lazy bindings.
by Jordan Rose
· 12 years ago
dc84cd5
Include llvm::Optional in clang/Basic/LLVM.h
by David Blaikie
· 12 years ago
9e85b29
Remove redundant Optional type in favor of llvm::Optional
by David Blaikie
· 12 years ago
0b9c328
Use op-> directly rather than via Optional<T>::getPointer.
by David Blaikie
· 12 years ago
5251abe
Replace SVal llvm::cast support to be well-defined.
by David Blaikie
· 12 years ago
206f499
[analyzer] Account for the "interesting values" hash table resizing.
by Jordan Rose
· 12 years ago
65f991c
[analyzer] Don't accidentally strip off base object regions for lazy bindings.
by Jordan Rose
· 12 years ago
724cfee
Disable dead stores checker for template instantations. Fixes <rdar://problem/13213575>.
by Ted Kremenek
· 12 years ago
ada0d22
[analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts.
by Jordan Rose
· 12 years ago
bc40386
Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."
by Jordan Rose
· 12 years ago
28743b0
[analyzer] Cache the bindings accessible through a LazyCompoundVal.
by Jordan Rose
· 12 years ago
ef9e6d6
[analyzer] Scan the correct store when finding symbols in a LazyCompoundVal.
by Jordan Rose
· 12 years ago
fcfcd80
[analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers.
by Jordan Rose
· 12 years ago
0a0f130
[analyzer] Use collectSubRegionKeys to make removeDeadBindings faster.
by Jordan Rose
· 12 years ago
9d688e2
[analyzer] Refactor RegionStore's sub-region bindings traversal.
by Jordan Rose
· 12 years ago
cfaed8d
objective-C: synthesize properties in order of their
by Fariborz Jahanian
· 12 years ago
697a685
[analyzer] Try constant-evaluation for all variables, not just globals.
by Jordan Rose
· 12 years ago
38f68ef
[analyzer] Use Clang's evaluation for global constants and default arguments.
by Jordan Rose
· 12 years ago
04870ed
[analyzer] Use makeZeroVal in RegionStore's lazy evaluation of statics.
by Jordan Rose
· 12 years ago
223f0ff
Remove some stray uses of <ctype.h> functions.
by Jordan Rose
· 12 years ago
f07e815
clang/lib/StaticAnalyzer/Core/BugReporter.cpp: Appease old msvc in std::pair(0, 0).
by NAKAMURA Takumi
· 12 years ago
d523df6
[analyzer] Invalidation checker: move the "missing implementation" check
by Anna Zaks
· 12 years ago
adecec3
[analyzer] Move DefaultBool so that all checkers can share it.
by Anna Zaks
· 12 years ago
722cd9e
[analyzer] Split IvarInvalidation into two checkers
by Anna Zaks
· 12 years ago
2b174c3
[analyzer] IvarInvalidation: refactor, pull out the diagnostic printing
by Anna Zaks
· 12 years ago
26db7db
[analyzer] IvarInvalidation: add annotation for partial invalidation
by Anna Zaks
· 12 years ago
8185674
Teach BugReporter (extensive diagnostics) to emit a diagnostic when a loop body is skipped.
by Ted Kremenek
· 12 years ago
19df705
Remove stale instance variable.
by Ted Kremenek
· 12 years ago
8135886
[analyzer] Remove redundant check as per Jordan's feedback.
by Anna Zaks
· 12 years ago
1c32b81
[analyzer] Fix typo.
by Anna Zaks
· 12 years ago
118aa75
[analyzer] Report bugs when freeing memory with offset pointer
by Anna Zaks
· 12 years ago
233e26a
[analyzer] Add pointer escape type param to checkPointerEscape callback
by Anna Zaks
· 12 years ago
2b68761
[analyzer] Don't reinitialize static globals more than once along a path
by Anna Zaks
· 12 years ago
b98c6fe
[analyzer]Revert part of r161511; suppresses leak false positives in C++
by Anna Zaks
· 12 years ago
5846720
Change subexpressions to be visited in the CFG from left-to-right.
by Ted Kremenek
· 12 years ago
beca02f
[analyzer] Teach the analyzer to use a symbol for p when evaluating (void*)p.
by Anna Zaks
· 12 years ago
2a3fe34
Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."
by Jordan Rose
· 12 years ago
453cb85
[analyzer] Always inline functions with bodies generated by BodyFarm.
by Anna Zaks
· 12 years ago
a5245a5
[analyzer] Print Inline mode with -analyzer-display-progress.
by Anna Zaks
· 12 years ago
135d0fe
[analyzer] Fix typo.
by Anna Zaks
· 12 years ago
5500fc1
Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."
by Jordan Rose
· 12 years ago
978aeac
[analyzer] Reuse a LazyCompoundVal if its type matches the new region.
by Jordan Rose
· 12 years ago
0217b1d
[analyzer]RetainCount: Fix an autorelease related false positive.
by Anna Zaks
· 12 years ago
e36d81b
[analyzer] Don't track autorelease pools created by +new.
by Jordan Rose
· 12 years ago
33e83b6
Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."
by Jordan Rose
· 12 years ago
0e450cb
[analyzer] If a lazy binding is undefined, pretend that it's unknown instead.
by Jordan Rose
· 12 years ago
5255f27
[analyzer] Fix a bug in region store that lead to undefined value false
by Anna Zaks
· 12 years ago
ac3a3e7
[analyzer] Make shallow mode more shallow.
by Anna Zaks
· 12 years ago
6bbe144
[analyzer] Use analyzer config for max-inlinable-size option.
by Anna Zaks
· 12 years ago
86ff12c
[analyzer] Move report false positive suppression to report visitors.
by Anna Zaks
· 12 years ago
ce32890
[analyzer] Remove further references to analyzer-ipa.
by Anna Zaks
· 12 years ago
baa7ca1
[analyzer] Model trivial copy/move ctors with an aggregate bind.
by Jordan Rose
· 12 years ago
07c52d2
[analyzer] C++ initializers may require cleanups; look through these.
by Jordan Rose
· 12 years ago
44ec3f0
[analyzer] Track null object lvalues back through C++ method calls.
by Jordan Rose
· 12 years ago
dede2fd
[analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode.
by Jordan Rose
· 12 years ago
aeca2cc
[analyzer] Add 'prune-paths' config option to disable path pruning.
by Jordan Rose
· 12 years ago
7ee8906
[analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths.
by Jordan Rose
· 12 years ago
d130140
[analyzer] Add "-analyzer-config mode=[deep|shallow] ".
by Anna Zaks
· 12 years ago
bfa9ab8
[analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".
by Anna Zaks
· 12 years ago
73f0563
[analyzer] refactor: access IPAMode through the accessor.
by Anna Zaks
· 12 years ago
Next »