Package sootup.java.frontend.conversion

Class WalaIRToJimpleConverter

java.lang.Object

sootup.java.frontend.conversion.WalaIRToJimpleConverter

public class WalaIRToJimpleConverter
extends Object

Converter which converts WALA IR to jimple.

Author:

Linghui Luo

Constructor Summary

Constructors

Constructor	Description
WalaIRToJimpleConverter(Set<String> sourceDirPath)
WalaIRToJimpleConverter(Set<String> sourceDirPath, SourceType srcType)

Method Summary

Modifier and Type	Method	Description
protected void	addSootField(JavaSootField field)
JavaSootClass	convertClass(com.ibm.wala.cast.loader.AstClass walaClass)	Deprecated.
String	convertClassNameFromSoot(String signature)	Convert className in soot-format to wala-format, e.g.,soot-format: java.lang.String.-> wala-format: Ljava/lang/String
String	convertClassNameFromWala(String className)	Convert className in wala-format to soot-format, e.g., wala-format: Ljava/lang/String -> soot-format: java.lang.String.
JavaSootField	convertField(JavaClassType classSig, com.ibm.wala.cast.loader.AstField walaField)	Convert a wala AstField to SootField.
JavaSootMethod	convertMethod(JavaClassType classSig, com.ibm.wala.cast.loader.AstMethod walaMethod)	Convert a wala AstMethod to SootMethod and add it into the given sootClass.
EnumSet<ClassModifier>	convertModifiers(com.ibm.wala.cast.loader.AstClass klass)
EnumSet<FieldModifier>	convertModifiers(com.ibm.wala.cast.loader.AstField field)	Return all modifiers for the given field.
EnumSet<MethodModifier>	convertModifiers(com.ibm.wala.cast.loader.AstMethod method)	Return all modifiers for the given method.
static Position	convertPosition(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position instructionPosition)
static StmtPositionInfo	convertPositionInfo(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position instructionPosition, com.ibm.wala.cast.tree.CAstSourcePositionMap.Position[] operandPosition)
Type	convertType(com.ibm.wala.types.TypeReference type)
OverridingJavaClassSource	createClassSource(com.ibm.wala.cast.loader.AstClass walaClass, JavaClassType superClass, Set<JavaClassType> interfaces, JavaClassType outerClass, Set<JavaSootField> sootFields, Set<JavaSootMethod> sootMethods, com.ibm.wala.cast.tree.CAstSourcePositionMap.Position position, EnumSet<ClassModifier> modifiers, Iterable<ClassType> annotations)	Create a OverridingClassSource object for the given walaClass.

Methods inherited from class java.lang.Object

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

Constructor Details

WalaIRToJimpleConverter

public WalaIRToJimpleConverter(@Nonnull
 Set<String> sourceDirPath)

WalaIRToJimpleConverter

public WalaIRToJimpleConverter(@Nonnull
 Set<String> sourceDirPath,
 @Nonnull
 SourceType srcType)

Method Details

convertClass

@Deprecated
public JavaSootClass convertClass(com.ibm.wala.cast.loader.AstClass walaClass)

Deprecated.

Convert a wala AstClass to SootClass.

Returns:

A SootClass converted from walaClass

createClassSource

public OverridingJavaClassSource createClassSource(com.ibm.wala.cast.loader.AstClass walaClass,
 JavaClassType superClass,
 Set<JavaClassType> interfaces,
 JavaClassType outerClass,
 Set<JavaSootField> sootFields,
 Set<JavaSootMethod> sootMethods,
 com.ibm.wala.cast.tree.CAstSourcePositionMap.Position position,
 EnumSet<ClassModifier> modifiers,
 Iterable<ClassType> annotations)

Create a OverridingClassSource object for the given walaClass.

convertField

public JavaSootField convertField(JavaClassType classSig,
 com.ibm.wala.cast.loader.AstField walaField)

Convert a wala AstField to SootField.

Parameters:

classSig - the class owns the field

walaField - the wala field

Returns:

A SootField object converted from walaField.

convertMethod

public JavaSootMethod convertMethod(JavaClassType classSig,
 com.ibm.wala.cast.loader.AstMethod walaMethod)

Convert a wala AstMethod to SootMethod and add it into the given sootClass.

Parameters:

classSig - the SootClass which should contain the converted SootMethod

walaMethod - the walMethod to be converted

convertType

public Type convertType(com.ibm.wala.types.TypeReference type)

convertModifiers

public EnumSet<FieldModifier> convertModifiers(com.ibm.wala.cast.loader.AstField field)

Return all modifiers for the given field.

convertModifiers

public EnumSet<MethodModifier> convertModifiers(com.ibm.wala.cast.loader.AstMethod method)

Return all modifiers for the given method.

convertModifiers

public EnumSet<ClassModifier> convertModifiers(com.ibm.wala.cast.loader.AstClass klass)

convertClassNameFromWala

public String convertClassNameFromWala(String className)

Convert className in wala-format to soot-format, e.g., wala-format: Ljava/lang/String -> soot-format: java.lang.String.

Parameters:

className - in wala-format

Returns:

className in sootup.format

convertClassNameFromSoot

public String convertClassNameFromSoot(String signature)

Convert className in soot-format to wala-format, e.g.,soot-format: java.lang.String.-> wala-format: Ljava/lang/String

addSootField

protected void addSootField(JavaSootField field)

convertPosition

public static Position convertPosition(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position instructionPosition)

convertPositionInfo

public static StmtPositionInfo convertPositionInfo(com.ibm.wala.cast.tree.CAstSourcePositionMap.Position instructionPosition,
 com.ibm.wala.cast.tree.CAstSourcePositionMap.Position[] operandPosition)