Package de.uzl.its.swat

Class Main

java.lang.Object
de.uzl.its.swat.Main
public class Main extends Object
Main runtime environment for parsing inputs and writing state files. Holds functions that are added during instrumentation.

  • Constructor Summary

    Constructors
    Constructor
    Description
    Main()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    checkSink(Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, Object arg6, String identifier, String sink)
    Stub function, call is added during instrumentation
    static void
    checkSink(Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, String identifier, String sink)
    Stub function, call is added during instrumentation
    static void
    checkSink(Object arg1, Object arg2, Object arg3, Object arg4, String identifier, String sink)
    Stub function, call is added during instrumentation
    static void
    checkSink(Object arg1, Object arg2, Object arg3, String identifier, String sink)
    Stub function, call is added during instrumentation
    static void
    checkSink(Object arg1, Object arg2, String identifier, String sink)
    Stub function, call is added during instrumentation
    static void
    checkSink(Object arg, String identifier, String sink)
    Stub function, call is added during instrumentation
    static void
    disableSymbolicTracking()
    Temporarily disables logging, e.g.
    static void
    enableSymbolicTracking()
    Re-enable the logger, e.g.
    static void
    init(String endpoint)
    Initializes symbolic or coverage only tracking for the current execution.
    static boolean
    MakeSymbolic(boolean boolValue)
    A stub function for symbolic value creation.
    static boolean
    MakeSymbolic(boolean boolValue, long idx)
    A stub function for symbolic value creation.
    static boolean
    MakeSymbolic(boolean boolValue, String namePrefix)
    A stub function for symbolic value creation.
    static byte
    MakeSymbolic(byte byteValue)
    A stub function for symbolic value creation.
    static byte
    MakeSymbolic(byte byteValue, long idx)
    A stub function for symbolic value creation.
    static byte
    MakeSymbolic(byte byteValue, String namePrefix)
    A stub function for symbolic value creation.
    static char
    MakeSymbolic(char charValue)
    A stub function for symbolic value creation.
    static char
    MakeSymbolic(char charValue, long idx)
    A stub function for symbolic value creation.
    static char
    MakeSymbolic(char charValue, String namePrefix)
    A stub function for symbolic value creation.
    static double
    MakeSymbolic(double doubleValue)
    A stub function for symbolic value creation.
    static double
    MakeSymbolic(double doubleValue, long idx)
    A stub function for symbolic value creation.
    static double
    MakeSymbolic(double doubleValue, String namePrefix)
    A stub function for symbolic value creation.
    static float
    MakeSymbolic(float floatValue)
    A stub function for symbolic value creation.
    static float
    MakeSymbolic(float floatValue, long idx)
    A stub function for symbolic value creation.
    static float
    MakeSymbolic(float floatValue, String namePrefix)
    A stub function for symbolic value creation.
    static int
    MakeSymbolic(int intValue)
    A stub function for symbolic value creation.
    static int
    MakeSymbolic(int intValue, long idx)
    A stub function for symbolic value creation.
    static int
    MakeSymbolic(int intValue, String namePrefix)
    A stub function for symbolic value creation.
    static long
    MakeSymbolic(long longValue)
    A stub function for symbolic value creation.
    static long
    MakeSymbolic(long longValue, long idx)
    A stub function for symbolic value creation.
    static long
    MakeSymbolic(long longValue, String namePrefix)
    A stub function for symbolic value creation.
    static short
    MakeSymbolic(short shortValue)
    A stub function for symbolic value creation.
    static short
    MakeSymbolic(short shortValue, long idx)
    A stub function for symbolic value creation.
    static short
    MakeSymbolic(short shortValue, String namePrefix)
    A stub function for symbolic value creation.
    static Long
    MakeSymbolic(Long longValue)
    A stub function for symbolic value creation.
    static Long
    MakeSymbolic(Long longValue, long idx)
    A stub function for symbolic value creation.
    static Long
    MakeSymbolic(Long longValue, String namePrefix)
    A stub function for symbolic value creation.
    static String
    MakeSymbolic(String stringValue)
    A stub function for symbolic value creation.
    static String
    MakeSymbolic(String stringValue, long idx)
    A stub function for symbolic value creation.
    static String
    MakeSymbolic(String stringValue, String namePrefix)
    A stub function for symbolic value creation.
    static void
    terminate()
    Finishes symbolic tracking and initializes constrain transfer to coordinator.

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • Main

      public Main()

  • Method Details

    • disableSymbolicTracking

      public static void disableSymbolicTracking()
      Temporarily disables logging, e.g. while loading a class.

      Should be enabled again with `reEnableLog()`

    • enableSymbolicTracking

      public static void enableSymbolicTracking()
      Re-enable the logger, e.g. after a class has been loaded. Before re-enabling `temporaryDisableLog` has to be called.

    • init

      public static void init(String endpoint)
      Initializes symbolic or coverage only tracking for the current execution. The method call is added during instrumentation
      Parameters:
      endpoint - The name of the endpoint.

    • terminate

      public static void terminate()
      Finishes symbolic tracking and initializes constrain transfer to coordinator. Method call added during instrumentation.

    • MakeSymbolic

      public static int MakeSymbolic(int intValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      intValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original long value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static long MakeSymbolic(long longValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      longValue - The concrete long value to be considered for symbolic analysis.
      Returns:
      The original long value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static char MakeSymbolic(char charValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      charValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static byte MakeSymbolic(byte byteValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      byteValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static short MakeSymbolic(short shortValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      shortValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static boolean MakeSymbolic(boolean boolValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      boolValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static String MakeSymbolic(String stringValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      stringValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static float MakeSymbolic(float floatValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      floatValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static double MakeSymbolic(double doubleValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      doubleValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static Long MakeSymbolic(Long longValue)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      longValue - The concrete value to be considered for symbolic analysis.
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static int MakeSymbolic(int intValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      intValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static long MakeSymbolic(long longValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      longValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static char MakeSymbolic(char charValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      charValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static byte MakeSymbolic(byte byteValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      byteValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static short MakeSymbolic(short shortValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      shortValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static boolean MakeSymbolic(boolean boolValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      boolValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static String MakeSymbolic(String stringValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      stringValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static float MakeSymbolic(float floatValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      floatValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static double MakeSymbolic(double doubleValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      doubleValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static Long MakeSymbolic(Long longValue, String namePrefix)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      longValue - The concrete value to be considered for symbolic analysis.
      namePrefix - The symbolic identifier of the variable
      Returns:
      The original value, with instrumentation logic potentially applied during runtime.

    • MakeSymbolic

      public static int MakeSymbolic(int intValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      intValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static long MakeSymbolic(long longValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      longValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static char MakeSymbolic(char charValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      charValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static byte MakeSymbolic(byte byteValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      byteValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static short MakeSymbolic(short shortValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      shortValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static boolean MakeSymbolic(boolean boolValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      boolValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static String MakeSymbolic(String stringValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      stringValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static float MakeSymbolic(float floatValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      floatValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static double MakeSymbolic(double doubleValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      doubleValue - The concrete value
      idx - The index of the variable

    • MakeSymbolic

      public static Long MakeSymbolic(Long longValue, long idx)
      A stub function for symbolic value creation. This method is intended to be instrumented during runtime. The actual symbolic processing is performed elsewhere.
      Parameters:
      longValue - The concrete value
      idx - The index of the variable

    • checkSink

      public static void checkSink(Object arg, String identifier, String sink)
      Stub function, call is added during instrumentation
      Parameters:
      arg - The value (argument) to check
      identifier - The type identifier of the arg
      sink - The identifier of the sink

    • checkSink

      public static void checkSink(Object arg1, Object arg2, String identifier, String sink)
      Stub function, call is added during instrumentation
      Parameters:
      arg1 - The first value (argument) to check
      arg2 - The second value (argument) to check
      identifier - The type identifier of the arguments (arg1, arg2)
      sink - The identifier of the sink

    • checkSink

      public static void checkSink(Object arg1, Object arg2, Object arg3, String identifier, String sink)
      Stub function, call is added during instrumentation
      Parameters:
      arg1 - The first value (argument) to check
      arg2 - The second value (argument) to check
      arg3 - The third value (argument) to check
      identifier - The type identifier of the arguments (arg1, arg2, arg3)
      sink - The identifier of the sink

    • checkSink

      public static void checkSink(Object arg1, Object arg2, Object arg3, Object arg4, String identifier, String sink)
      Stub function, call is added during instrumentation
      Parameters:
      arg1 - The first value (argument) to check
      arg2 - The second value (argument) to check
      arg3 - The third value (argument) to check
      arg4 - The fourth value (argument) to check
      identifier - The type identifier of the arguments (arg1, arg2, arg3, arg4)
      sink - The identifier of the sink

    • checkSink

      public static void checkSink(Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, String identifier, String sink)
      Stub function, call is added during instrumentation
      Parameters:
      arg1 - The first value (argument) to check
      arg2 - The second value (argument) to check
      arg3 - The third value (argument) to check
      arg4 - The fourth value (argument) to check
      arg5 - The fifth value (argument) to check
      identifier - The type identifier of the arguments (arg1, arg2, arg3, arg4, arg5)
      sink - The identifier of the sink

    • checkSink

      public static void checkSink(Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, Object arg6, String identifier, String sink)
      Stub function, call is added during instrumentation
      Parameters:
      arg1 - The first value (argument) to check
      arg2 - The second value (argument) to check
      arg3 - The third value (argument) to check
      arg4 - The fourth value (argument) to check
      arg5 - The fifth value (argument) to check
      arg6 - The sixth value (argument) to check
      identifier - The type identifier of the arguments (arg1, arg2, arg3, arg4, arg5, arg6)
      sink - The identifier of the sink