Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
e0ad215b709fba79b3a1ead9af31a6f8bd3ee77a
/
lib
/
Analysis
/
RValues.cpp
64789f8
More #include cleaning
by Daniel Dunbar
· 16 years ago
43a281c
Fix 80 col violation
by Ted Kremenek
· 16 years ago
99b4f43
Fix regression by explicitly checking if we are negating a SymIntConstantVal.
by Ted Kremenek
· 16 years ago
d810bf8
More cleanups with ObjCQualifiedIdType in the static analyzer.
by Ted Kremenek
· 16 years ago
c4385b4
Add lval::ArrayOffset, which represent the locations of entries in an array.
by Ted Kremenek
· 16 years ago
465f25a
Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
by Ted Kremenek
· 16 years ago
be62129
Added lval type (and tracking) for StringLiterals.
by Ted Kremenek
· 16 years ago
fe1a0b1
Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers.
by Ted Kremenek
· 16 years ago
a05f7d2
simplify some code by using PointerLikeType.
by Chris Lattner
· 16 years ago
be1a7a0
Make a major restructuring of the clang tree: introduce a top-level
by Chris Lattner
· 16 years ago
[Renamed from Analysis/RValues.cpp]
f97c668
Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions).
by Ted Kremenek
· 16 years ago
8ad1987
Renamed ValueManager to BasicValueFactory.
by Ted Kremenek
· 16 years ago
2224fcb
fix typos
by Gabor Greif
· 16 years ago
8cd0e93
remove the source location arguments to various target query methods.
by Chris Lattner
· 16 years ago
c2d0720
Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.)
by Ted Kremenek
· 16 years ago
b31af24
Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.
by Ted Kremenek
· 16 years ago
ef0007f
Added lazy "symbolication" of parameter variables and global variables.
by Ted Kremenek
· 17 years ago
07baa25
Major cleanup of path-sensitive analysis engine and the current analysis
by Ted Kremenek
· 17 years ago
0cd9635
Implemented transfer function logic for unary '+'
by Ted Kremenek
· 17 years ago
b996ebc
Placed transfer function logic for dereferences in its own method, while at
by Ted Kremenek
· 17 years ago
d9268e3
Added boilerplate transfer function support for CallExprs.
by Ted Kremenek
· 17 years ago
94e915e
Further cleanup. Moved definitions for SymbolManager and ValueManager into
by Ted Kremenek
· 17 years ago
22640ce
Simplified transfer function logic for ++/-- operators.
by Ted Kremenek
· 17 years ago
0e39dcf
Added "symbol iterators" for RValues, allowing easy iteration over the symbols
by Ted Kremenek
· 17 years ago
b193413
Migrated transfer functions for binary operators for simple value tracking
by Ted Kremenek
· 17 years ago
c9922fd
Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals.
by Ted Kremenek
· 17 years ago
25a484d
Started partitioning of transfer function logic (and thus the policy behind
by Ted Kremenek
· 17 years ago
5a535ba
Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive".
by Ted Kremenek
· 17 years ago
ad88468
Added transfer function/value track logic for taking the address of a label.
by Ted Kremenek
· 17 years ago
3e1e4f5
Implemented transfer functions for "<<" and ">>" when the RValues are
by Ted Kremenek
· 17 years ago
0428e02
More variable renamings.
by Ted Kremenek
· 17 years ago
adec14b
Renamed InvalidValue to UnknownVal.
by Ted Kremenek
· 17 years ago
02b5b40
Added some more opcode pretty-printing.
by Ted Kremenek
· 17 years ago
80d52d0
Added recording of "implicit" NULL dereferences of symbolic pointers.
by Ted Kremenek
· 17 years ago
261133b
get the tree building again
by Chris Lattner
· 17 years ago
e1f38b6
Added transfer function logic for ReturnStmts.
by Ted Kremenek
· 17 years ago
15cb078
Major code refactoring/cleanup with transfer function logic. Now the
by Ted Kremenek
· 17 years ago
ab359c1
Added assumption logic for symbolic non-lvalues when used in conditions such as
by Ted Kremenek
· 17 years ago
0033fbb
Fixed signedness bug in cast transfer function when casting integers to pointers.
by Ted Kremenek
· 17 years ago
81eacb2
Added pretty-printing support for lval::SymIntConstraintVal and
by Ted Kremenek
· 17 years ago
1b63a3b
Moved subclasses of LValue and NonLValue into their own namespaces.
by Ted Kremenek
· 17 years ago
cdb310d
Added "SymIntConstraint", a utility class to represent intermediate values for
by Ted Kremenek
· 17 years ago
2cb4664
Implemented transfer function for unary '~'.
by Ted Kremenek
· 17 years ago
6e24a80
Implemented casts for ConcreteInt and ConcreteIntLValue.
by Ted Kremenek
· 17 years ago
7219790
Moved RValue code in GRConstants.cpp to RValue.[h,cpp].
by Ted Kremenek
· 17 years ago