1. 1acb394 [analyzer] Accept references to variables declared "extern void" (C only). by Jordan Rose · 11 years ago
  2. 3e5ebf1 [analyzer] When creating a trimmed graph, preserve whether a node is a sink. by Jordan Rose · 11 years ago
  3. 9195caf Refine analyzer's handling of unary '!' and floating types to not assert. by Ted Kremenek · 11 years ago
  4. 707a865 Correctly propagate uninitialized values within logical expressions. by Ted Kremenek · 11 years ago
  5. c957319 Add test case for <rdar://problem/12075238>, which recently got fixed by changes to RegionStore. by Ted Kremenek · 12 years ago
  6. 469841a Update ExprEngine's handling of ternary operators to find the ternary expression by Ted Kremenek · 12 years ago
  7. 7f9b1d9 Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586> by Ted Kremenek · 12 years ago
  8. eb31a76 [analyzer] Be less pessimistic about invalidation of global variables by Anna Zaks · 12 years ago
  9. 729aa06 [analyzer;Regionstore] handle loads from StringLiteral elements for StringLiterals representing wide strings. Fixes PR 11294. by Ted Kremenek · 13 years ago
  10. 2d950b1 [analyzer] Fix PR11282 - an assert in markAsSink by Anna Zaks · 13 years ago
  11. cdcc653 [analyzer] BranchNodeBuilder should not generate autotransitions. by Anna Zaks · 13 years ago
  12. beedc5f Add test case for analyzer crash reported in <rdar://problem/10308201> (which is already fixed in mainline). by Ted Kremenek · 13 years ago
  13. 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
  14. 7fead31 [analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962. by Jordy Rose · 13 years ago
  15. 22043b5 [analyzer] Look through __extension__ expressions in a GRState's Environment. Fixes PR8962. by Jordy Rose · 13 years ago
  16. 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