Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
82aaebeaad75456bc736ea1c474479bb6597305d
/
test
/
Analysis
f96df90
Partly revert "Move clang tests that depend on llvm/ADT/Statistic.h to a subdir".
by Jan Wen Voung
· 11 years ago
0415998
[analyzer] Make Suppress IDC checker aware that it might not start from the same node it was registered at
by Anna Zaks
· 11 years ago
80412c4
[analyzer] Rename AttrNonNullChecker -> NonNullParamChecker
by Anna Zaks
· 11 years ago
6cc4e25
[analyzer] Add test case for reference to null pointer param check
by Anna Zaks
· 11 years ago
9fe09f3
[analyzer] Be more consistent about Objective-C methods that free memory.
by Jordan Rose
· 11 years ago
0183768
[analyzer] Look for lvalue nodes when tracking a null pointer.
by Jordan Rose
· 11 years ago
325de0c
Move clang tests that depend on llvm/ADT/Statistic.h to a subdir.
by Jan Wen Voung
· 11 years ago
018e9aa
[analyzer] Warn on passing a reference to null pointer as an argument in a call
by Anna Zaks
· 12 years ago
c236b73
[analyzer] Check for returning null references in ReturnUndefChecker.
by Jordan Rose
· 12 years ago
42773d6
[analyzer] Pass the correct Expr to the bug reporter visitors when dealing with CompoundLiteralExpr
by Anna Zaks
· 12 years ago
713e075
[analyzer] IDC: Add config option; perform the idc check on first “null node” rather than last “non-null”.
by Anna Zaks
· 12 years ago
5aff3f1
[analyzer] Don't let cf_audited_transfer override CFRetain semantics.
by Jordan Rose
· 12 years ago
cc5dbda
[analyzer] Simple inline defensive checks suppression
by Anna Zaks
· 12 years ago
d764e20
[analyzer] Special-case bitfields when finding sub-region bindings.
by Jordan Rose
· 12 years ago
9abf1b4
[analyzer] Suppress paths involving a reference whose rvalue is null.
by Jordan Rose
· 12 years ago
854e755
[analyzer] Fix test for previous commit.
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
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
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
43b82b8
[analyzer] tracking stores/constraints now works for ObjC ivars or struct fields.
by Ted Kremenek
· 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
9f1d541
[analyzer] Make sure a temporary object region matches its initial bindings.
by Jordan Rose
· 12 years ago
0cd3142
[analyzer] Add another reinterpret_cast behavior test.
by Jordan Rose
· 12 years ago
11f0cae
[analyzer] Tighten up safety in the use of lazy bindings.
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
12e0c13
libAnalysis: Add a case for TypeAliasDecl in CFGRecStmtDeclVisitor.
by Jordan Rose
· 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
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
d523df6
[analyzer] Invalidation checker: move the "missing implementation" check
by Anna Zaks
· 12 years ago
722cd9e
[analyzer] Split IvarInvalidation into two checkers
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
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
8c888b1
[analyzer] Explain why we have system-header-simulator*.h files.
by Jordan Rose
· 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
cd0655b
Add a new -Wundefined-inline warning for inline functions which are used but not
by Nick Lewycky
· 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
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
aeca2cc
[analyzer] Add 'prune-paths' config option to disable path pruning.
by Jordan Rose
· 12 years ago
1044256
Comment parsing: actually check for a block command after "\param x"
by Dmitri Gribenko
· 12 years ago
3d115cf
Remove useless 'XPASS: *' from tests
by Dmitri Gribenko
· 12 years ago
a6cd5cd
clang/test: Drop "REQUIRES:shell" in three tests. They can run on win32.
by NAKAMURA Takumi
· 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
38878aa
Add a test case for 'analyzer_noreturn' on category methods.
by Ted Kremenek
· 12 years ago
a5b6469
Honor attribute 'analyzer_noreturn' on Objective-C methods.
by Ted Kremenek
· 12 years ago
141b90c
[analyzer] Fix test for r173067.
by Jordan Rose
· 12 years ago
187f8bd
[analyzer] Show notes inside implicit calls at the last explicit call site.
by Jordan Rose
· 12 years ago
2b9de0b
[analyzer] Don't show "Entered 'foo'" if 'foo' is implicit.
by Jordan Rose
· 12 years ago
6ee777d
Move an input header file under an Inputs directory to be consistent
by Chandler Carruth
· 12 years ago
1dfebd9
[analyzer] Suppress warnings coming out of macros defined in sys/queue.h
by Anna Zaks
· 12 years ago
e02be97
[analyzer] Special path notes for C++ special member functions.
by Jordan Rose
· 12 years ago
dc47c9a
[analyzer] Do a better job describing C++ member functions in the call stack.
by Jordan Rose
· 12 years ago
fa2b53c
[analyzer] DirectIvarAssignment: allow suppression annotation on Ivars.
by Anna Zaks
· 12 years ago
d7b1d24
[analyzer] Add an annotation to allow suppression of direct ivar assignment
by Anna Zaks
· 12 years ago
79ccd56
[analyzer] Fix warning typo.
by Anna Zaks
· 12 years ago
14a372b
[analyzer] -drain is not an alias for -release.
by Jordan Rose
· 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
Next »