aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/SVals.cpp
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-01Rename all 'EvalXXX' methods in libChecker toTed Kremenek
2010-09-15Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals ...Ted Kremenek
2010-08-25GCC didn't care for my attempt at API compatibility, so brute-force everythingJohn McCall
2010-08-21Remove a special case for OSAtomic functions. We can already bind and retrieveZhongxing Xu
2010-07-06Added a path-sensitive idempotent operation checker (-analyzer-idempotent-ope...Tom Care
2010-04-19Fix -Wcast-qual warnings.Dan Gohman
2010-03-10Add use-after-free check to MallocChecker.Zhongxing Xu
2010-02-05Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need toZhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek