aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/simple-stream-checks.c
AgeCommit message (Expand)Author
2013-03-20[analyzer] Track malloc'd memory into struct fields.Jordan Rose
2013-02-07[analyzer] Add pointer escape type param to checkPointerEscape callbackAnna Zaks
2012-11-15[analyzer] Report leaks at the closing brace of a function body.Jordan Rose
2012-11-06[analyzer] Add symbol escapes logic to the SimpleStreamChecker.Anna Zaks
2012-11-03[analyzer] Run remove dead on end of path.Anna Zaks
2012-10-31[analyzer] SimpleStreamChecker - remove evalAssume and other refinementsAnna Zaks
2012-10-29[analyzer] Add SimpleStreamChecker.Anna Zaks