index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Analysis
/
ValueState.cpp
Age
Commit message (
Expand
)
Author
2008-08-13
Rename ValueState.h -> GRState.h
Ted Kremenek
2008-08-13
Rename ValueState -> GRState.
Ted Kremenek
2008-08-12
Added GenericDataMap as a component of ValueState.
Ted Kremenek
2008-08-07
Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor im...
Ted Kremenek
2008-07-22
Added path-sensitive checking for null pointer values passed to function argu...
Ted Kremenek
2008-07-17
Move GRTransferFunc* into ValueStateManager, and move the assumption logic th...
Ted Kremenek
2008-07-17
Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual Remov...
Ted Kremenek
2008-07-10
Refactored most of the "Store" piece of ValueState into a Store type. The
Ted Kremenek
2008-07-10
Move some environment methods from ValueState/ValueStateManager to Environmen...
Ted Kremenek
2008-07-08
Initial work on splitting the ValueState into an Environment, Store, and
Ted Kremenek
2008-07-07
Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.
Ted Kremenek
2008-05-01
Correctly invalidate reference count state when passing objects by reference ...
Ted Kremenek
2008-04-29
Simplify RemoveDeadBindings.
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-29
Major rewrite/refactoring of static analysis engine. We now use
Ted Kremenek
2008-04-25
Handle dereferences of function pointers (which return a handle to the functi...
Ted Kremenek
2008-04-25
Don't abort on GetRVal when the LVal is a StringLiteralVal.
Ted Kremenek
2008-04-25
Do a better job at computing dead symbols.
Ted Kremenek
2008-04-24
Added initial boilerplate in GRExprEngine to allow checker-specific transfer
Ted Kremenek
2008-04-22
Added lval type (and tracking) for StringLiterals.
Ted Kremenek
2008-04-22
Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers...
Ted Kremenek
2008-03-15
Make a major restructuring of the clang tree: introduce a top-level
Chris Lattner