1. 63bc186 [analyzer] Report leaks at the closing brace of a function body. by Jordan Rose · 12 years ago
  2. 35d4a09 [analyzer] Add symbol escapes logic to the SimpleStreamChecker. by Anna Zaks · 12 years ago
  3. 8501b7a [analyzer] Run remove dead on end of path. by Anna Zaks · 12 years ago
  4. 32133cf [analyzer] SimpleStreamChecker - remove evalAssume and other refinements by Anna Zaks · 12 years ago
  5. d65e55d [analyzer] Add SimpleStreamChecker. by Anna Zaks · 12 years ago