sootup.java.sourcecode.frontend

Class WalaIRToJimpleConverter

java.lang.Object

sootup.java.sourcecode.frontend.WalaIRToJimpleConverter

public class WalaIRToJimpleConverter
extends Object

Converter which converts WALA IR to jimple.

Author:

Linghui Luo

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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<AnnotationType> 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 Detail

WalaIRToJimpleConverter

public WalaIRToJimpleConverter(@Nonnull
                               Set<String> sourceDirPath)

WalaIRToJimpleConverter

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

Method Detail

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<AnnotationType> 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)