Package | Description |
---|---|
gov.nasa.jpf.jvm | |
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
JVMDirectCallStackFrame
a direct call stackframe that supports JVM calling conventions
|
Modifier and Type | Class and Description |
---|---|
class |
ApplicationContext
auxiliary class that captures the main entry and classloader context
of applications
|
class |
DirectCallStackFrame
DirectCallStackFrames are only used for overlay calls (from native code), i.e.
|