public class JITAnalysis
extends java.lang.Object
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 and Description |
---|
JITAnalysis() |
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() |
private static java.util.HashSet<java.lang.String> attemptedClasses
private static java.util.HashSet<java.lang.String> attemptedMehods
public static long staticAnalysisDur
private static boolean firstTime
private static gov.nasa.jpf.vm.ThreadInfo ti
private static gov.nasa.jpf.vm.Instruction instruction
private static VeritestingMain veritestingMain
public static StaticRegion discoverRegions(gov.nasa.jpf.vm.ThreadInfo ti, gov.nasa.jpf.vm.Instruction instruction, java.lang.String key) throws StaticRegionException
ti
- Current running thread.key
- StaticRegionException
public static StaticRegion discoverAllClassAndGetRegion(java.lang.String className, java.lang.String jvmMethodName, java.lang.String key) throws StaticRegionException
StaticRegionException
private static java.util.ArrayList<java.lang.String> getClassPaths()
public static java.util.HashSet<java.lang.String> getAttemptedMethods()