gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class JITAnalysis

java.lang.Object

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.JITAnalysis

public class JITAnalysis
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private static java.util.HashSet<java.lang.String>	attemptedClasses keeps track of all classes we have seen for recovering of the IR
private static java.util.HashSet<java.lang.String>	attemptedMehods keeps track of all the methods we have seen for recovering the IR
private static boolean	firstTime
private static gov.nasa.jpf.vm.Instruction	instruction
static long	staticAnalysisDur
private static gov.nasa.jpf.vm.ThreadInfo	ti
private static VeritestingMain	veritestingMain

Constructor Summary

Constructors

Constructor and Description
JITAnalysis()

Method Summary

Modifier and Type	Method and Description
static StaticRegion	discoverAllClassAndGetRegion(java.lang.String className, java.lang.String jvmMethodName, java.lang.String key)
static StaticRegion	discoverRegions(gov.nasa.jpf.vm.ThreadInfo ti, gov.nasa.jpf.vm.Instruction instruction, java.lang.String key) This is tries to discover statically all potential regions that could be used as veritesting regions.
static java.util.HashSet<java.lang.String>	getAttemptedMethods()
private static java.util.ArrayList<java.lang.String>	getClassPaths()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

attemptedClasses

private static java.util.HashSet<java.lang.String> attemptedClasses

keeps track of all classes we have seen for recovering of the IR

attemptedMehods

private static java.util.HashSet<java.lang.String> attemptedMehods

keeps track of all the methods we have seen for recovering the IR

staticAnalysisDur

public static long staticAnalysisDur

firstTime

private static boolean firstTime

ti

private static gov.nasa.jpf.vm.ThreadInfo ti

instruction

private static gov.nasa.jpf.vm.Instruction instruction

veritestingMain

private static VeritestingMain veritestingMain

Constructor Detail

JITAnalysis

public JITAnalysis()

Method Detail

discoverRegions

public static StaticRegion discoverRegions(gov.nasa.jpf.vm.ThreadInfo ti,
                                           gov.nasa.jpf.vm.Instruction instruction,
                                           java.lang.String key)
                                    throws StaticRegionException

This is tries to discover statically all potential regions that could be used as veritesting regions.

Parameters:

ti - Current running thread.

key -

Throws:

StaticRegionException

discoverAllClassAndGetRegion

public static StaticRegion discoverAllClassAndGetRegion(java.lang.String className,
                                                        java.lang.String jvmMethodName,
                                                        java.lang.String key)
                                                 throws StaticRegionException

Throws:

StaticRegionException

getClassPaths

private static java.util.ArrayList<java.lang.String> getClassPaths()

getAttemptedMethods

public static java.util.HashSet<java.lang.String> getAttemptedMethods()