de.rwth.i2.attestor.semantics.jimpleSemantics

Class SootInitializer

java.lang.Object

de.rwth.i2.attestor.semantics.jimpleSemantics.SootInitializer

public class SootInitializer
extends Object

Takes care of the necessary soot initialisations for parsing. This includes setting the soot classpath and the main method of the analysed program.

Author:

Christina

Constructor Summary

Constructors

Constructor and Description
SootInitializer()

Method Summary

Modifier and Type	Method and Description
void	initialize(String classpath) This method initializes Soot with the program to be analysed.

Methods inherited from class java.lang.Object

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

Constructor Detail

SootInitializer

public SootInitializer()

Method Detail

initialize

public void initialize(String classpath)

This method initializes Soot with the program to be analysed.

Parameters:

classpath - the classpath to the class containing the program to be analysed