- Feb 22, 2008
-
-
Ted Kremenek authored
assumption logic for lval::DeclVal. llvm-svn: 47466
-
Ted Kremenek authored
against '0' of the same bit-width. llvm-svn: 47465
-
- Feb 21, 2008
-
-
Ted Kremenek authored
about. The default logic is to invalidate the values of all values passed-by-reference. llvm-svn: 47456
-
Ted Kremenek authored
llvm-svn: 47449
-
Ted Kremenek authored
do so implicitly. llvm-svn: 47447
-
Ted Kremenek authored
llvm-svn: 47445
-
Ted Kremenek authored
the transfer function to be invoked without an Expr* for the Cast operation. Added implicit promotions to the transfer function logic for compound assignments. llvm-svn: 47444
-
Ted Kremenek authored
llvm-svn: 47443
-
Ted Kremenek authored
based on constant. prop. and limited symbolics. - Renamed class: RValue -> RVal, LValue -> LVal, etc. - Minor method renamings and interface cleanups. - Tightened the RVal "type system" so that UninitializedVal and UnknownVal cannot be cast to LVal or NonLVal. This forces these corner cases values to be explicitly handled early before being dispatched to plug-in transfer function logic. - Major cleanup in the transfer function logic for binary and unary operators. Still fixing some regressions, but we now explicitly handle Uninitialized and Unknown values in a more rigorous way. llvm-svn: 47441
-
- Feb 20, 2008
-
-
Ted Kremenek authored
llvm-svn: 47357
-
Ted Kremenek authored
the same time clearing up some logic of how the unary '*' operator is processed. llvm-svn: 47356
-
- Feb 19, 2008
-
-
Ted Kremenek authored
for pointer dereferences. llvm-svn: 47340
-
Ted Kremenek authored
cast's subexpression even if the cast itself has no effect. llvm-svn: 47335
-
Ted Kremenek authored
llvm-svn: 47333
-
Ted Kremenek authored
CharacterLiterals. This may not be a permanent solution; it doesn't cost that much, however, to create a few additional states, and solves a whole bunch of edge cases when handling ?, ||, and &&. llvm-svn: 47299
-
Ted Kremenek authored
llvm-svn: 47298
-
Ted Kremenek authored
For now we just treat their values as "Unknown." llvm-svn: 47294
-
Ted Kremenek authored
an analyzed function. GRExprEngine now records stores to "uninitialized lvalues" (which are sinks in the ExplodedGraph). llvm-svn: 47293
-
- Feb 18, 2008
-
-
Ted Kremenek authored
UninitializedVals and UnknownVals. llvm-svn: 47288
-
- Feb 16, 2008
-
-
Ted Kremenek authored
Fixed bug in transfer functions for sizeof(*); we were incorrectly evaluating to a value of the wrong type. Fixed bug in transfer functions for compound assignments where we did not properly handle assignments involving dereferences of symbolic values. llvm-svn: 47190
-
- Feb 15, 2008
-
-
Ted Kremenek authored
Fixed bug in transfer function for compound assignment operators when both operands where variables but had a non-pointer type (we fired an assertion). llvm-svn: 47184
-
Ted Kremenek authored
Added more boilerplate transfer function support for pointer arithmetic. Added more pretty-printing support for symbolic constraints. Added transfer function support for handling enum values. Minor pointer types cleanup in ExplodedGraphImpl. llvm-svn: 47183
-
Eli Friedman authored
llvm-svn: 47157
-
Ted Kremenek authored
llvm-svn: 47147
-
- Feb 14, 2008
-
-
Ted Kremenek authored
null-dereferences or bad control-flow red. llvm-svn: 47140
-
Ted Kremenek authored
Moved driver logic for --grsimple to GRSimpleVals.cpp. llvm-svn: 47137
-
Ted Kremenek authored
clang namespace. llvm-svn: 47136
-
Ted Kremenek authored
Still some cleanup to do, but this initial checkin compiles and runs correctly. llvm-svn: 47135
-
Ted Kremenek authored
from RValues to GRTransferFuncs/GRSimpleVals. llvm-svn: 47131
-
Ted Kremenek authored
llvm-svn: 47126
-
Ted Kremenek authored
these operations) into GRTransferFuncs and its subclasses. Originally all of this logic was handled by the class RValue, but in reality different analyses will want more flexibility on how they evaluate different values. Transfer functions migrated so far: "Cast" llvm-svn: 47125
-
Ted Kremenek authored
llvm-svn: 47123
-
Ted Kremenek authored
from switch...case...default statements. llvm-svn: 47100
-
- Feb 13, 2008
-
-
Ted Kremenek authored
llvm-svn: 47076
-
Ted Kremenek authored
llvm-svn: 47072
-
Ted Kremenek authored
http://llvm.org/viewvc/llvm-project?rev=47070&view=rev llvm-svn: 47071
-
Ted Kremenek authored
Renamed class GRConstants => GRExprEngine. This was done with a Perl script, and will result in 80 col. violations that I will gradually fix up. llvm-svn: 47070
-
Ted Kremenek authored
llvm-svn: 47068
-
Ted Kremenek authored
llvm-svn: 47038
-
- Feb 12, 2008
-
-
Ted Kremenek authored
handling Non-Lvalues of the type nonlval::SymbolVal; we were accidentally casting them to lval::SymbolVal. llvm-svn: 47029
-