Type Members

1.  class Classloading extends DefaultFeatureQuery

   Groups test case features that perform classloading.

   Groups test case features that perform classloading.

   Note

   The features represent the Classloading test cases from the Call Graph Test Project (JCG).

2.  class DynamicProxy extends APIFeatureQuery

   Queries the usage of the proxy api (java.lang.reflect.Proxy).

3.  class JVMCalls extends DefaultFeatureQuery

   Groups test case features for features that explicitly must be modeled to imitate the JVM's behaviour, i.e., callbacks that are registered and then (potentially) called from the JVM.

   Groups test case features for features that explicitly must be modeled to imitate the JVM's behaviour, i.e., callbacks that are registered and then (potentially) called from the JVM.

   Note

   The features represent the JVMCalls test cases from the Call Graph Test Project (JCG).

4.  class Java8InterfaceMethods extends DefaultFeatureQuery

   Groups test case features that perform a method calls that are related to Java 8 interfaces.

   Groups test case features that perform a method calls that are related to Java 8 interfaces. I.e., method calls to an interface's default method.

   Note

   The features represent the Java8InterfaceMethods test cases from the Call Graph Test Project (JCG).

5.  class Java8Invokedynamics extends DefaultFeatureQuery

   This feature query corresponds to the Java8Invokedynamics.md test cases from the JCG call graph test suite as well as some infrastructure incompatabile tests pertaining to JVM-hosted languages that also use invokedynamics or Java 10 invokedynamics that are used to concatenate Strings.

6.  class Library extends DefaultFeatureQuery

   Groups test case features that test the support for libraries/partial programs.

   Groups test case features that test the support for libraries/partial programs. All test cases assume that all packages are closed!!!!

   Note

   The features represent the Library test cases from the Call Graph Test Project (JCG).

7.  class ModernReflection extends APIFeatureQuery

   Queries the usage of the java.lang.invoke API around MethodHandles.

   Queries the usage of the java.lang.invoke API around MethodHandles.

   Note

   The features represent the MODERN REFLECTION test cases from the Call Graph Test Project (JCG).

8.  class NativeMethods extends DefaultFeatureQuery

   Testcase to find applications containing native methods.

9.  class NonJavaBytecode1 extends DefaultFeatureQuery

   Test case feature that performs an interface call for a default method where an intermediate interface shadows the default method with a static method (not valid java, but valid bytecode).

10.  class NonJavaBytecode2 extends DefaultFeatureQuery

    Test case feature where two methods are defined a class that do only vary in the specified return type.

    Test case feature where two methods are defined a class that do only vary in the specified return type. This is not possible on Java source level both is still valid in bytecode.

11.  class NonVirtualCalls extends DefaultFeatureQuery

    Groups test case features that perform a direct method call.

    Groups test case features that perform a direct method call.

    Note

    The features represent the DirectCalls test cases from the Call Graph Test Project (JCG).

12.  class PackageBoundaries extends DefaultFeatureQuery

    Groups test case features that perform a polymorphic method calls over package boundaries.

    Groups test case features that perform a polymorphic method calls over package boundaries. This is particulary relevant for package visible types and/or package visible methods.

    Note

    The features represent the PackageBoundaries test cases from the Call Graph Test Project (JCG).

13.  class Reflection extends DefaultFeatureQuery

    Groups features that use the java reflection API.

    Groups features that use the java reflection API.

    Note

    The features represent the REFLECTION test cases from the Call Graph Test Project (JCG).

14.  class Serialization extends DefaultFeatureQuery

    Groups test case features that perform serialization.

    Groups test case features that perform serialization.

    Note

    The features represent the Serialization test cases from the Call Graph Test Project (JCG).

15.  class StaticInitializer extends DefaultFeatureQuery

    Groups test case features that test the correct recognition of static initializers.

    Groups test case features that test the correct recognition of static initializers.

    Note

    The features represent the StaticInitializer test cases from the Call Graph Test Project (JCG).

16.  class Types extends DefaultFeatureQuery

    Groups features that somehow rely on Javas type cast API given by either jvm instructions or java.lang.Class.

    Groups features that somehow rely on Javas type cast API given by either jvm instructions or java.lang.Class.

    Note

    The features represent the TYPES test cases from the Call Graph Test Project (JCG).

17.  class Unsafe extends APIFeatureQuery

    Groups features that rely on the Unsafe API.

    Groups features that rely on the Unsafe API. (sun.misc.Unsafe)

    Note

    Feature groups are taken from and are further discussed in the following paper: "Use at Your Own Risk: The Java Unsafe API in the Wild" by Luis Mastrangelo et al.

18.  class VirtualCalls extends DefaultFeatureQuery

    Groups test case features that perform a pre Java 8 polymorhpic method call.

    Groups test case features that perform a pre Java 8 polymorhpic method call.

    Note

    The features represent the PolymorphicCalls test cases from the Call Graph Test Project (JCG).