A B C D E F G H I J K L M N O P R S T U V W Z

G

gammaStmts - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Invariants.LocalOutputInvariantVisitor

GammaVarExpr - Class in gov.nasa.jpf.symbc.veritesting.ast.def

This class provides the representation of Gamma in RangerIR which is extends a Phi to include the condition under which the choice is taken.

GammaVarExpr(Expression, Expression, Expression) - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.def.GammaVarExpr

gammaWalaVarDefs - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Invariants.LocalOutputInvariantVisitor

get(ArrayRef) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArrayExpressions

getAllDefs() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.RegionBoundaryOutput

getAllUses() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.RegionBoundaryOutput

getAllUses() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.ExprBoundaryVisitor

getAndCheckCondition(List<LinkedList<PhiCondition>>) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.SSAToStatIVisitor

getArgTypes() - Method in class gov.nasa.jpf.symbc.SymbolicListener.MethodSummary

getArgValues() - Method in class gov.nasa.jpf.symbc.SymbolicListener.MethodSummary

getArrayElement(ElementInfo, int) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArrayUtil

getArrayElementInner(ElementInfo, int, String) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArrayUtil

getArrayLength(ThreadInfo, int) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArrayUtil

getAttemptedMethods() - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingMain

getAttemptedMethods() - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.JITAnalysis

getChange() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution.SubstitutionVisitor

getChange() - Method in class gov.nasa.jpf.symbc.veritesting.ast.visitors.FixedPointAstMapVisitor

getChangedTransformation() - Static method in class gov.nasa.jpf.symbc.veritesting.FixedPointWrapper

getClassPaths() - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.JITAnalysis

getComparator(Instruction) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.SpfUtil

getConcreteInstNum() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

getConcreteRegionNum() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

getConstantType(Expression) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.typepropagation.ExprTypeVisitor

getConstantType(Expression) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.ExprUtil

getDef() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.SubstituteGetOutput

getDistinctSpfRegionNum() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

getDistinctVeriRegionKeys() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

getDistinctVeriRegionNum() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

getExceptionalMessage() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.SubstituteGetOutput

getExpression(ThreadInfo, ArrayRef, Pair<Expression[], String>) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArrayUtil

getExprException() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.constprop.SimplifyStmtVisitor

getFailedInstantiations() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

getFailNum(FailEntry.FailReason) - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

getfield(String, String, String) - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory

getField() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRef

getFirst() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.Pair

getFirst() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.Triple

getFirstCond(Stmt) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.SpfUtil

getFirstDef() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.RegionBoundaryOutput

getFirstException() - Method in class gov.nasa.jpf.symbc.veritesting.ast.visitors.FixedPointAstMapVisitor

getFirstException() - Static method in class gov.nasa.jpf.symbc.veritesting.FixedPointWrapper

getFirstUse() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.RegionBoundaryOutput

getFirstUse() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.ExprBoundaryVisitor

getGreenVariableType(Expression) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.ExprUtil

getIDom(ISSABasicBlock) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.CreateStaticRegions

Gets the immediate dominator of a block.

getIfThenElseStmt(ArrayRef, Stmt) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySSAVisitor

getIndex() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRef

getInitialArrayValues(ThreadInfo, int) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArrayUtil

getInsns - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.FirstITEStmtVisitor

getInstFailNum(FailEntry.FailReason) - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

GetInstruction - Class in gov.nasa.jpf.symbc.veritesting.ast.def

This is GetInstruction in Ranger IR that matches the corresponding GetInstruction in Wala and subsequently the instruction in Java Bytecode.

GetInstruction(SSAGetInstruction, Expression, Expression, FieldReference) - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.def.GetInstruction

GetInstruction(SSAGetInstruction) - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.def.GetInstruction

getIterationNumber() - Static method in class gov.nasa.jpf.symbc.veritesting.FixedPointWrapper

getKeys() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySubscriptMap

getKeys() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.GlobalArraySubscriptMap

getKeys() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.CloneableVarTable

Returns all keys of the table.

getKeys() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.DynamicOutputTable

Returns all keys of the table.

getKeys() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.DynamicTable

Returns all keys of the table.

getKeys() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.StaticTable

getKeys() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSubscriptMap

getKeys() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.GlobalSubscriptMap

getKind(Instruction) - Static method in class gov.nasa.jpf.symbc.veritesting.ChoiceGenerator.StaticPCChoiceGenerator

getLastBranchInstruction(ISSABasicBlock) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.SSAUtil

getLastDef() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.RegionBoundaryOutput

getLastRegionKey() - Static method in class gov.nasa.jpf.symbc.veritesting.Heuristics.HeuristicManager

getLastUse() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.RegionBoundaryOutput

getLastUse() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.ExprBoundaryVisitor

getLeftLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRefVarExpr

getLeftLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr

getLeftLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRefVarExpr

getLeftLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.GammaVarExpr

getLeftLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.IfThenElseExpr

getLeftLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

getLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRefVarExpr

getLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr

getLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRefVarExpr

getLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.GammaVarExpr

getLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.IfThenElseExpr

getLength() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

getMethodInfo() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.RegionHitExactHeuristic

getMethodName() - Method in class gov.nasa.jpf.symbc.SymbolicListener.MethodSummary

getMetricsVector(long) - Method in class gov.nasa.jpf.symbc.VeritestingListener

getName() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.DefaultTransformation

getName() - Method in interface gov.nasa.jpf.symbc.veritesting.ast.transformations.Invariant

getName() - Method in interface gov.nasa.jpf.symbc.veritesting.ast.transformations.Transformation

getName() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.TransformationList

getNegComparator(Instruction) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.SpfUtil

getNonReturnSuccessors(SSACFG, ISSABasicBlock) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.SSAUtil

getNumSatChoices(DynamicRegion) - Static method in class gov.nasa.jpf.symbc.veritesting.ChoiceGenerator.StaticBranchChoiceGenerator

getOperandNumber(String) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.SpfUtil

Returns number of operands depending on the if-bytecode instruction.

getOperandSlot(SSAPhiInstruction) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.SlotParamTable

getOperationVector() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRefVarExpr

getOperationVector() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr

getOperationVector() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRefVarExpr

getOperationVector() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.GammaVarExpr

getOperationVector() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.IfThenElseExpr

getOperationVector() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayLengthInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayLoadInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayStoreInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.CheckCastInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.GetInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.InstanceOfInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.InvokeInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.NewInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.PhiInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.PutInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ReturnInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.SwitchInstruction

getOriginal() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ThrowInstruction

getOutput() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.RegionBoundaryVisitor

getPackageName(String) - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingMain

getPathConditions() - Method in class gov.nasa.jpf.symbc.SymbolicListener.MethodSummary

getPathCount() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.RegionHitExactHeuristic

getRef() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRef

getRef() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRef

getRegion() - Method in class gov.nasa.jpf.symbc.veritesting.ChoiceGenerator.StaticPCChoiceGenerator

getRegionAfter() - Static method in class gov.nasa.jpf.symbc.veritesting.FixedPointWrapper

getRegionHeuristic() - Static method in class gov.nasa.jpf.symbc.veritesting.Heuristics.HeuristicManager

getRegionHeuristicSize() - Static method in class gov.nasa.jpf.symbc.veritesting.Heuristics.HeuristicManager

getRegionHeuristicStatus(String) - Static method in class gov.nasa.jpf.symbc.veritesting.Heuristics.HeuristicManager

getRegionKey() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.RegionHitExactHeuristic

getRegionStatus() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.RegionHitExactHeuristic

getSecond() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.Pair

getSecond() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.Triple

getSignature(Method) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.ReflectUtil

getSlots() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.SlotParamTable

Finds all unique slots in the stackSlotMap.

getSomethingChanged() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.constprop.SimplifyStmtVisitor

getstatic(String, String, String) - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory

getStmtRetExp(Stmt) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution.SubstitutionVisitor

Iterates over the Stmt to get the return statement seperated out of the reset of the statements.

getSuccInstantiations() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.StatisticManager

getSuperClassList(ThreadInfo, String) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.ClassUtils

getSymName() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.ArrayRefVarExpr

getSymName() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr

getSymName() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.FieldRefVarExpr

getSymName() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

Gets the symbolic name to be used for vars in SPF.

getSymName() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.SubscriptPair

getSymValues() - Method in class gov.nasa.jpf.symbc.SymbolicListener.MethodSummary

getTargetInstruction() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.RegionHitExactHeuristic

getThird() - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.Triple

getThrowInstruction() - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySSAVisitor

getThrowInstruction() - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSSAVisitor

getType(int) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArrayExpressions

getType() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.SubstituteGetOutput

getType(TypeName) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.ClassUtils

getUniqueArrayAccess() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySubscriptMap

getUniqueFieldAccess() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSubscriptMap

getUniqueNum() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.AstVarExpr

getUniqueNum() - Method in class gov.nasa.jpf.symbc.veritesting.ast.def.WalaVarExpr

getValueSymbolTable() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution.ExprSubstitutionVisitor

getValueSymbolTable() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution.SubstitutionVisitor

getVarsOfSlot(int, Integer, Integer) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.SlotParamTable

Returns all vars that have the same stack slot entered, between boundaries.

getVarTypeTable() - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.typepropagation.ExprTypeVisitor

GlobalArraySubscriptMap - Class in gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess

GlobalArraySubscriptMap() - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.GlobalArraySubscriptMap

globalSubscript - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.SubscriptPair

GlobalSubscriptMap - Class in gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess

GlobalSubscriptMap() - Constructor for class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.GlobalSubscriptMap

gov.nasa.jpf.symbc - package gov.nasa.jpf.symbc

gov.nasa.jpf.symbc.veritesting - package gov.nasa.jpf.symbc.veritesting

gov.nasa.jpf.symbc.veritesting.ast.def - package gov.nasa.jpf.symbc.veritesting.ast.def

gov.nasa.jpf.symbc.veritesting.ast.transformations - package gov.nasa.jpf.symbc.veritesting.ast.transformations

gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess - package gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess

gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen - package gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen

gov.nasa.jpf.symbc.veritesting.ast.transformations.constprop - package gov.nasa.jpf.symbc.veritesting.ast.transformations.constprop

gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment - package gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment

gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess - package gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess

gov.nasa.jpf.symbc.veritesting.ast.transformations.Invariants - package gov.nasa.jpf.symbc.veritesting.ast.transformations.Invariants

gov.nasa.jpf.symbc.veritesting.ast.transformations.linearization - package gov.nasa.jpf.symbc.veritesting.ast.transformations.linearization

gov.nasa.jpf.symbc.veritesting.ast.transformations.removeEarlyReturns - package gov.nasa.jpf.symbc.veritesting.ast.transformations.removeEarlyReturns

gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases - package gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases

gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst - package gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst

gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution - package gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution

gov.nasa.jpf.symbc.veritesting.ast.transformations.typepropagation - package gov.nasa.jpf.symbc.veritesting.ast.transformations.typepropagation

gov.nasa.jpf.symbc.veritesting.ast.transformations.Uniquness - package gov.nasa.jpf.symbc.veritesting.ast.transformations.Uniquness

gov.nasa.jpf.symbc.veritesting.ast.visitors - package gov.nasa.jpf.symbc.veritesting.ast.visitors

gov.nasa.jpf.symbc.veritesting.ChoiceGenerator - package gov.nasa.jpf.symbc.veritesting.ChoiceGenerator

gov.nasa.jpf.symbc.veritesting.Heuristics - package gov.nasa.jpf.symbc.veritesting.Heuristics

gov.nasa.jpf.symbc.veritesting.VeritestingUtil - package gov.nasa.jpf.symbc.veritesting.VeritestingUtil

greenList - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen.AstToGreenVisitor

GreenListener - Class in gov.nasa.jpf.symbc

GreenListener() - Constructor for class gov.nasa.jpf.symbc.GreenListener

greenSolver - Static variable in class gov.nasa.jpf.symbc.SymbolicInstructionFactory

greenToSPFExpression(Expression) - Static method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.ExprUtil

Translates Green Expession to SPF.

gsm - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.ArraySSAVisitor

gsm - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSSAVisitor

A B C D E F G H I J K L M N O P R S T U V W Z