aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/SValuator.cpp
AgeCommit message (Expand)Author
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-11-26Add a fixme.Zhongxing Xu
2010-11-15Relax assertion in SValuator so that we don't crash when analyzing a call via...Ted Kremenek
2010-08-25GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall
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-02-02Explicitly check for casts to double or complex types instead of possibly ass...Ted Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek