aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/SValuator.h
AgeCommit message (Expand)Author
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-07-04Add a new symbol type, SymbolExtent, to represent the extents of memory regio...Jordy Rose
2010-06-28Pointer comparisons (and pointer-pointer subtraction). Basically filling in S...Jordy Rose
2010-02-04Cast evaluation no longer touch GRState.Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek