index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Analysis
/
RValues.cpp
Age
Commit message (
Expand
)
Author
2008-03-15
Make a major restructuring of the clang tree: introduce a top-level
Chris Lattner
2008-03-09
Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...
Ted Kremenek
2008-03-07
Renamed ValueManager to BasicValueFactory.
Ted Kremenek
2008-03-06
fix typos
Gabor Greif
2008-03-05
remove the source location arguments to various target query methods.
Chris Lattner
2008-02-28
Added checking for undefined results of '<<' and '>>' (shifting by too many b...
Ted Kremenek
2008-02-28
Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.
Ted Kremenek
2008-02-26
Added lazy "symbolication" of parameter variables and global variables.
Ted Kremenek
2008-02-21
Major cleanup of path-sensitive analysis engine and the current analysis
Ted Kremenek
2008-02-20
Implemented transfer function logic for unary '+'
Ted Kremenek
2008-02-20
Placed transfer function logic for dereferences in its own method, while at
Ted Kremenek
2008-02-19
Added boilerplate transfer function support for CallExprs.
Ted Kremenek
2008-02-16
Further cleanup. Moved definitions for SymbolManager and ValueManager into
Ted Kremenek
2008-02-15
Simplified transfer function logic for ++/-- operators.
Ted Kremenek
2008-02-14
Added "symbol iterators" for RValues, allowing easy iteration over the symbols
Ted Kremenek
2008-02-14
Migrated transfer functions for binary operators for simple value tracking
Ted Kremenek
2008-02-14
Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimple...
Ted Kremenek
2008-02-14
Started partitioning of transfer function logic (and thus the policy behind
Ted Kremenek
2008-02-14
Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive".
Ted Kremenek
2008-02-12
Added transfer function/value track logic for taking the address of a label.
Ted Kremenek
2008-02-08
Implemented transfer functions for "<<" and ">>" when the RValues are
Ted Kremenek
2008-02-08
More variable renamings.
Ted Kremenek
2008-02-08
Renamed InvalidValue to UnknownVal.
Ted Kremenek
2008-02-07
Added some more opcode pretty-printing.
Ted Kremenek
2008-02-07
Added recording of "implicit" NULL dereferences of symbolic pointers.
Ted Kremenek
2008-02-07
get the tree building again
Chris Lattner
2008-02-07
Added transfer function logic for ReturnStmts.
Ted Kremenek
2008-02-06
Major code refactoring/cleanup with transfer function logic. Now the
Ted Kremenek
2008-02-06
Added assumption logic for symbolic non-lvalues when used in conditions such as
Ted Kremenek
2008-02-06
Fixed signedness bug in cast transfer function when casting integers to point...
Ted Kremenek
2008-02-05
Added pretty-printing support for lval::SymIntConstraintVal and
Ted Kremenek
2008-02-05
Moved subclasses of LValue and NonLValue into their own namespaces.
Ted Kremenek
2008-02-05
Added "SymIntConstraint", a utility class to represent intermediate values for
Ted Kremenek
2008-02-04
Implemented transfer function for unary '~'.
Ted Kremenek
2008-02-01
Implemented casts for ConcreteInt and ConcreteIntLValue.
Ted Kremenek
2008-01-31
Moved RValue code in GRConstants.cpp to RValue.[h,cpp].
Ted Kremenek
