Package sootup.java.frontend.conversion

Class InstructionConverter

java.lang.Object

sootup.java.frontend.conversion.InstructionConverter

public class InstructionConverter
extends Object

This class converts wala instruction to jimple statement.

Author:

Linghui Luo

Method Summary

Modifier and Type	Method	Description
List<Stmt>	convertInstruction(com.ibm.wala.ssa.SSAInstruction inst, HashMap<Integer,Stmt> stmt2iIndex)
boolean	hasJumpTarget(Integer i)	determines wheter a given wala index is a target of a Branching Instruction.
protected Map<BranchingStmt,List<Stmt>>	setUpTargets(HashMap<Integer,Stmt> stmt2iIndex)	This methods adds stmts with all branch stmts to builder (JIfStmt, JGotoStmt, JSwitchStmt) having set up their target stmts.

Methods inherited from class java.lang.Object

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

Method Details

convertInstruction

public List<Stmt> convertInstruction(com.ibm.wala.ssa.SSAInstruction inst,
 HashMap<Integer,Stmt> stmt2iIndex)

setUpTargets

protected Map<BranchingStmt,List<Stmt>> setUpTargets(HashMap<Integer,Stmt> stmt2iIndex)

This methods adds stmts with all branch stmts to builder (JIfStmt, JGotoStmt, JSwitchStmt) having set up their target stmts.

Parameters:

stmt2iIndex -

Returns:

This methods returns a list of stmts with all branch stmts (JIfStmt, JGotoStmt, JSwitchStmt) having set up their target stmts.

hasJumpTarget

public boolean hasJumpTarget(Integer i)

determines wheter a given wala index is a target of a Branching Instruction. e.g. used for detection of implicit return statements in void methods.