Skip navigation links
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 
Skip navigation links