Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
aa1c4e5a6b87b62d991c55a0d4522bcd778068d7
/
Analysis
/
RValues.cpp
aa1c4e5
Major cleanup of path-sensitive analysis engine and the current analysis
by Ted Kremenek
· 17 years ago
90e4203
Implemented transfer function logic for unary '+'
by Ted Kremenek
· 17 years ago
d8e9f0d
Placed transfer function logic for dereferences in its own method, while at
by Ted Kremenek
· 17 years ago
de43424
Added boilerplate transfer function support for CallExprs.
by Ted Kremenek
· 17 years ago
d70d0b0
Further cleanup. Moved definitions for SymbolManager and ValueManager into
by Ted Kremenek
· 17 years ago
50d0ac2
Simplified transfer function logic for ++/-- operators.
by Ted Kremenek
· 17 years ago
90e1481
Added "symbol iterators" for RValues, allowing easy iteration over the symbols
by Ted Kremenek
· 17 years ago
6cb0b54
Migrated transfer functions for binary operators for simple value tracking
by Ted Kremenek
· 17 years ago
c3f261d
Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals.
by Ted Kremenek
· 17 years ago
d59cccc
Started partitioning of transfer function logic (and thus the policy behind
by Ted Kremenek
· 17 years ago
cc409b7
Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive".
by Ted Kremenek
· 17 years ago
2a50257
Added transfer function/value track logic for taking the address of a label.
by Ted Kremenek
· 18 years ago
59c2d26
Implemented transfer functions for "<<" and ">>" when the RValues are
by Ted Kremenek
· 18 years ago
53c641a
More variable renamings.
by Ted Kremenek
· 18 years ago
2203118
Renamed InvalidValue to UnknownVal.
by Ted Kremenek
· 18 years ago
7e59336
Added some more opcode pretty-printing.
by Ted Kremenek
· 18 years ago
d131c4f
Added recording of "implicit" NULL dereferences of symbolic pointers.
by Ted Kremenek
· 18 years ago
fd88bb9
get the tree building again
by Chris Lattner
· 18 years ago
5b6dc2d
Added transfer function logic for ReturnStmts.
by Ted Kremenek
· 18 years ago
cf78b6a
Major code refactoring/cleanup with transfer function logic. Now the
by Ted Kremenek
· 18 years ago
feb01f6
Added assumption logic for symbolic non-lvalues when used in conditions such as
by Ted Kremenek
· 18 years ago
08b6625
Fixed signedness bug in cast transfer function when casting integers to pointers.
by Ted Kremenek
· 18 years ago
0806acf
Added pretty-printing support for lval::SymIntConstraintVal and
by Ted Kremenek
· 18 years ago
329f854
Moved subclasses of LValue and NonLValue into their own namespaces.
by Ted Kremenek
· 18 years ago
1fbdb02
Added "SymIntConstraint", a utility class to represent intermediate values for
by Ted Kremenek
· 18 years ago
c5d3b4c
Implemented transfer function for unary '~'.
by Ted Kremenek
· 18 years ago
a6e4d21
Implemented casts for ConcreteInt and ConcreteIntLValue.
by Ted Kremenek
· 18 years ago
a90ccfe
Moved RValue code in GRConstants.cpp to RValue.[h,cpp].
by Ted Kremenek
· 18 years ago