aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/BasicValueFactory.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2009-09-25Fix <rdar://problem/7249327> by allowing silent conversions between signed an...Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-06Implement lazy "copying" of structures and arrays in RegionStore. WhileTed Kremenek
2009-08-05If the UnaryOperator has non-location type, use its type to create theZhongxing Xu
2009-04-11Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-13Fix typo.Ted Kremenek
2009-03-13Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the targetTed Kremenek
2009-03-11Add utility method to BasicValueFactory to convert an APSInt to one of a diff...Ted Kremenek
2009-02-17BasicValueFactory: getMinValue/getMaxValue can be applied to any location typ...Ted Kremenek
2009-02-17BasicValueFactory: getMaxValue and getMinValue now also handle 'block' pointers.Ted Kremenek
2009-02-16Modify getMaxValue/getMinValue to take pointer values as well.Ted Kremenek
2009-02-16BasicValueFactory: Add utility methods 'Add1' and 'Sub1' to get a persistent ...Ted Kremenek
2009-02-16BasicValueFactory: Add getMaxValue and getMinValue variants that take QualTypes.Ted Kremenek
2009-01-30Fix a couple bugs:Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-11-22Initial support for checking out of bound memory access. Only support Zhongxing Xu
2008-11-15Add isUnsigned option.Zhongxing Xu
2008-10-30Added iterators to nonloc::CompoundSVal.Ted Kremenek
2008-10-30CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This ...Ted Kremenek
2008-10-30Add CompoundVal and CompoundValData for representing the value of InitListExpr.Zhongxing Xu
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-09-18Implement second part of PR 2600: NSError** parameter may be null, and should...Ted Kremenek
2008-04-29Add lval::ArrayOffset, which represent the locations of entries in an array.Ted Kremenek
2008-04-29Added lval::FieldOffset, which represents symbolic lvalues for field offsets ...Ted Kremenek
2008-04-22Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers...Ted Kremenek
2008-03-07Renamed ValueManager to BasicValueFactory.Ted Kremenek