Ted Kremenek
|
5ab5a1b578
|
Rename ValueState -> GRState.
Rename ValueStateManager -> GRStateManager.
llvm-svn: 54721
|
2008-08-13 04:27:00 +00:00 |
Ted Kremenek
|
976d1e0ea8
|
Remove unused class AnnotatedPath.
llvm-svn: 53413
|
2008-07-10 17:25:03 +00:00 |
Ted Kremenek
|
cf1ab19086
|
Added a simple static analysis check to look for improper uses of CFCreateNumber.
llvm-svn: 52799
|
2008-06-26 23:59:48 +00:00 |
Ted Kremenek
|
a4d60b6de3
|
Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver.
llvm-svn: 48886
|
2008-03-27 17:17:22 +00:00 |