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