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

J

JITAnalysis - Class in gov.nasa.jpf.symbc.veritesting.VeritestingUtil

JITAnalysis() - Constructor for class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.JITAnalysis

jitAnalysis - Static variable in class gov.nasa.jpf.symbc.VeritestingListener

jitAnalyzeForVeritesting(ArrayList<String>, String, String, boolean) - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingMain

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

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

Translates from current block but does not include the ending block.

jitConditionalBranch(SSACFG, ISSABasicBlock, ISSABasicBlock, Map<PhiEdge, List<PhiCondition>>) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.CreateStaticRegions

Attempts to translate a conditional part of the cfg to IfThenElse statement in RangerIR.

jitCreateStructuredRegion(HashMap<String, StaticRegion>) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.CreateStaticRegions

This class walks through method, attempting to recover a method region and also recover all multi-path regions inside of it.

jitCurrentCondition - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.CreateStaticRegions

jitFindMethodRegion(ThreadInfo, InvokeInstruction) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution.SubstitutionVisitor

Attempts to find a mapping MethodRegion.

jitStartAnalysis(String, String, String, boolean) - Method in class gov.nasa.jpf.symbc.veritesting.VeritestingMain

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

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

jitTranslateTruncatedFinalBlock2(ISSABasicBlock, Map<PhiEdge, List<PhiCondition>>, Deque<PhiCondition>) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.CreateStaticRegions

jitVisitedBlocks - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.CreateStaticRegions

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