Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
refs/heads/fp2-m-sibon
/
test
/
Analysis
/
misc-ps.c
1acb394
[analyzer] Accept references to variables declared "extern void" (C only).
by Jordan Rose
· 11 years ago
3e5ebf1
[analyzer] When creating a trimmed graph, preserve whether a node is a sink.
by Jordan Rose
· 11 years ago
9195caf
Refine analyzer's handling of unary '!' and floating types to not assert.
by Ted Kremenek
· 11 years ago
707a865
Correctly propagate uninitialized values within logical expressions.
by Ted Kremenek
· 11 years ago
c957319
Add test case for <rdar://problem/12075238>, which recently got fixed by changes to RegionStore.
by Ted Kremenek
· 12 years ago
469841a
Update ExprEngine's handling of ternary operators to find the ternary expression
by Ted Kremenek
· 12 years ago
7f9b1d9
Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586>
by Ted Kremenek
· 12 years ago
eb31a76
[analyzer] Be less pessimistic about invalidation of global variables
by Anna Zaks
· 12 years ago
729aa06
[analyzer;Regionstore] handle loads from StringLiteral elements for StringLiterals representing wide strings. Fixes PR 11294.
by Ted Kremenek
· 13 years ago
2d950b1
[analyzer] Fix PR11282 - an assert in markAsSink
by Anna Zaks
· 13 years ago
cdcc653
[analyzer] BranchNodeBuilder should not generate autotransitions.
by Anna Zaks
· 13 years ago
beedc5f
Add test case for analyzer crash reported in <rdar://problem/10308201> (which is already fixed in mainline).
by Ted Kremenek
· 13 years ago
ac73ea8
[analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary.
by Jordy Rose
· 13 years ago
7fead31
[analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962.
by Jordy Rose
· 13 years ago
22043b5
[analyzer] Look through __extension__ expressions in a GRState's Environment. Fixes PR8962.
by Jordy Rose
· 13 years ago
e5cfd52
static analyzer: when conservatively evaluating functions, don't invalidate the values of globals when the called function is strlen.
by Ted Kremenek
· 13 years ago