Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Added lval type (and tracking) for StringLiterals. | Ted Kremenek | 2008-04-22 | 1 | -1/+8 | |
| | | | | llvm-svn: 50109 | |||||
* | Added "nonlval::LValAsInteger" to represent abstract LVals casted to ↵ | Ted Kremenek | 2008-04-22 | 1 | -0/+12 | |
| | | | | | | integers, allowing us to track lvals when they are casted back to pointers. llvm-svn: 50108 | |||||
* | Added null dereference test involving arrays. | Ted Kremenek | 2008-04-22 | 1 | -0/+11 | |
| | | | | llvm-svn: 50084 | |||||
* | Added missing expected-warning. | Ted Kremenek | 2008-04-21 | 1 | -1/+1 | |
| | | | | llvm-svn: 50073 | |||||
* | Added null dereference test case looking for null dereferences involving ↵ | Ted Kremenek | 2008-04-21 | 1 | -0/+12 | |
| | | | | | | MemberExpr. llvm-svn: 50072 | |||||
* | Refactored all logic to run the GRSimpleVals and CFRef checker into a common | Ted Kremenek | 2008-04-10 | 1 | -1/+1 | |
| | | | | | | | | code path in the clang driver. Renamed options --grsimple to -checker-simple and -check-cfref to -checker-cfref. llvm-svn: 49500 | |||||
* | Added path-sensitive null dereference test case. | Ted Kremenek | 2008-04-02 | 1 | -0/+6 | |
llvm-svn: 49095 |