- l2d() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- l2f() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- l2i() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- label1 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySubscriptMap
-
- label1 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.GlobalArraySubscriptMap
-
- label1 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.CloneableVarTable
-
- label1 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table
-
- label1 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSubscriptMap
-
- label1 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.GlobalSubscriptMap
-
- label2 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySubscriptMap
-
- label2 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.GlobalArraySubscriptMap
-
- label2 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.CloneableVarTable
-
- label2 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table
-
- label2 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSubscriptMap
-
- label2 - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.GlobalSubscriptMap
-
- ladd() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- laload() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- land() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lastDef - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.StaticTypeIVisitor
-
- lastMeasuredMetricValue - Static variable in class gov.nasa.jpf.symbc.Observations
-
Used by MetricListener to propagate last measured metric value.
- lastObservedCost - Static variable in class gov.nasa.jpf.symbc.Observations
-
Used for user-defined cost.
- lastObservedInputSize - Static variable in class gov.nasa.jpf.symbc.Observations
-
Used to set current input size in side-channel analysis in order to generate correct input file.
- lastObservedSymbolicExpression - Static variable in class gov.nasa.jpf.symbc.Observations
-
Used for maximization of user-defined cost.
- lastore() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lastUse - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.ExprBoundaryVisitor
-
- latestType - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.typepropagation.ExprTypeVisitor
-
- lcmp() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- ldiv() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lhs - Variable in class gov.nasa.jpf.symbc.veritesting.ast.def.AssignmentStmt
-
- LinearizationTransformation - Class in gov.nasa.jpf.symbc.veritesting.ast.transformations.linearization
-
Basic class that invokes Linearization transformation, by removing any if statement, and leaving only its "then" and "else" statements.
- LinearizationTransformation() - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.transformations.linearization.LinearizationTransformation
-
- LinearizationVisitor - Class in gov.nasa.jpf.symbc.veritesting.ast.transformations.linearization
-
Linearalize region statement by removing "If" Statements and embedding statements on the "then" and the "else" side, to become one stream of composition statements.
- LinearizationVisitor() - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.transformations.linearization.LinearizationVisitor
-
- lmul() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lneg() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- LocalOutputInvariantVisitor - Class in gov.nasa.jpf.symbc.veritesting.ast.transformations.Invariants
-
- LocalOutputInvariantVisitor(StaticRegion) - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.transformations.Invariants.LocalOutputInvariantVisitor
-
- lookup(Integer) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArrayExpressions
-
- lookup(ArrayRef) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySubscriptMap
-
- lookup(Integer) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.GlobalArraySubscriptMap
-
- lookup(Expression) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.constprop.SimplifyRangerExprVisitor
-
- lookup(CloneableVariable) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.CloneableVarTable
-
Basic lookup inside the table.
- lookup(Expression) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.FieldRefTypeTable
-
- lookup(K) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table
-
Basic lookup inside the table.
- lookup(FieldRef) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSubscriptMap
-
- lookup(FieldRef) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.GlobalSubscriptMap
-
- lookupByName(String) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.DynamicTable
-
- lookupByName(String) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.FieldRefTypeTable
-
- lookupKey(ArrayRef) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySubscriptMap
-
- lookupswitch(int, int) - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- loops - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.CreateStaticRegions
-
- loops - Variable in class gov.nasa.jpf.symbc.veritesting.VeritestingMain
-
- looseArrayRefEquals(ArrayRef, ArrayRef) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRef
-
- lor() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lrem() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lshl() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lshr() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lsub() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lushr() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-
- lxor() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory
-