soot.jimple.infoflow.util

类 BaseSelector

java.lang.Object

soot.jimple.infoflow.util.BaseSelector

public class BaseSelector
extends Object

BaseSelector removes unnecessary information from a value such as casts

构造器概要

构造器

构造器和说明
BaseSelector()

方法概要

限定符和类型	方法和说明
static soot.Value	selectBase(soot.Value val, boolean keepArrayRef) the operations that are not relevant for analysis like "not" or casts are removed - array refs are only removed if explicitly stated
static soot.Value[]	selectBaseList(soot.Value val, boolean keepArrayRef) the operations that are not relevant for analysis like "not" or casts are removed - array refs are only removed if explicitly stated BinOpExpr are divided into two values

从类继承的方法 java.lang.Object

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

构造器详细资料

BaseSelector

public BaseSelector()

方法详细资料

selectBase

public static soot.Value selectBase(soot.Value val,
                                    boolean keepArrayRef)

the operations that are not relevant for analysis like "not" or casts are removed - array refs are only removed if explicitly stated

参数:

val - the value which should be pruned

keepArrayRef - if false then array refs are pruned to the base array object

返回:

the value (possibly pruned to base object)

selectBaseList

public static soot.Value[] selectBaseList(soot.Value val,
                                          boolean keepArrayRef)

the operations that are not relevant for analysis like "not" or casts are removed - array refs are only removed if explicitly stated BinOpExpr are divided into two values

参数:

val - the value which should be pruned

keepArrayRef - if false then array refs are pruned to the base array object

返回:

one or more values