AccessPath (soot-infoflow 2.10.4 API)

java.lang.Object
- soot.jimple.infoflow.data.AccessPath

所有已实现的接口:

Cloneable
```
public class AccessPath
extends Object
implements Cloneable
```
This class represents the taint, containing a base value and a list of fields (length is bounded by Infoflow.ACCESSPATHLENGTH)

嵌套类概要

嵌套类
限定符和类型类和说明

static class AccessPath.ArrayTaintType

嵌套类
限定符和类型	类和说明
`static class`	`AccessPath.ArrayTaintType`

方法概要

所有方法静态方法实例方法具体方法
限定符和类型	方法和说明
`static boolean`	`canContainValue(soot.Value val)` Checks whether the given value can be the base value value of an access path
`AccessPath`	`clone()`
`AccessPath`	`dropLastField()` Gets a copy of this access path, but drops the last field.
`boolean`	`entails(AccessPath a2)` Checks whether this access path entails the given one, i.e. refers to all objects the other access path also refers to.
`boolean`	`equals(Object obj)`
`boolean`	`firstFieldMatches(soot.SootField field)` Checks whether the first field of this access path matches the given field
`AccessPath.ArrayTaintType`	`getArrayTaintType()` Gets whether this access path references only the length of the array to which it points, not the contents of that array
`soot.Type`	`getBaseType()` Gets the type of the base value
`boolean`	`getCanHaveImmutableAliases()` Returns whether the tainted object can have immutable aliases.
`soot.Value`	`getCompleteValue()`
`static AccessPath`	`getEmptyAccessPath()`
`int`	`getFieldCount()`
`soot.SootField[]`	`getFields()`
`soot.Type[]`	`getFieldTypes()`
`soot.SootField`	`getFirstField()`
`soot.Type`	`getFirstFieldType()`
`int`	`getHashCode()`
`soot.SootField`	`getLastField()`
`soot.Type`	`getLastFieldType()`
`soot.Local`	`getPlainValue()`
`boolean`	`getTaintSubFields()` Gets whether sub-fields shall be tainted.
`int`	`hashCode()`
`boolean`	`isCutOffApproximation()` Gets whether this access path has been (transitively) constructed from one which was cut off by the access path length limitation.
`boolean`	`isEmpty()`
`boolean`	`isFieldRef()`
`boolean`	`isInstanceFieldRef()`
`boolean`	`isLocal()`
`boolean`	`isStaticFieldRef()`
`boolean`	`startsWith(soot.Value val)` Checks whether this access path starts with the given value
`String`	`toString()`

从类继承的方法 java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

- 方法详细资料
  - canContainValue
```
public static boolean canContainValue(soot.Value val)
```
    Checks whether the given value can be the base value value of an access path
    
    参数:
    
    val - The value to check
    
    返回:
    
    True if the given value can be the base value value of an access path
  - getPlainValue
```
public soot.Local getPlainValue()
```
  - getCompleteValue
```
public soot.Value getCompleteValue()
```
  - getLastField
```
public soot.SootField getLastField()
```
  - getLastFieldType
```
public soot.Type getLastFieldType()
```
  - getFirstField
```
public soot.SootField getFirstField()
```
  - firstFieldMatches
```
public boolean firstFieldMatches(soot.SootField field)
```
    Checks whether the first field of this access path matches the given field
    
    参数:
    
    field - The field to check against
    
    返回:
    
    True if this access path has a non-empty field list and the first field matches the given one, otherwise false
  - getFirstFieldType
```
public soot.Type getFirstFieldType()
```
  - getFields
```
public soot.SootField[] getFields()
```
  - getFieldTypes
```
public soot.Type[] getFieldTypes()
```
  - getFieldCount
```
public int getFieldCount()
```
  - hashCode
```
public int hashCode()
```
    覆盖:
    
    hashCode 在类中 Object
  - getHashCode
```
public int getHashCode()
```
  - equals
```
public boolean equals(Object obj)
```
    覆盖:
    
    equals 在类中 Object
  - isStaticFieldRef
```
public boolean isStaticFieldRef()
```
  - isInstanceFieldRef
```
public boolean isInstanceFieldRef()
```
  - isFieldRef
```
public boolean isFieldRef()
```
  - isLocal
```
public boolean isLocal()
```
  - toString
```
public String toString()
```
    覆盖:
    
    toString 在类中 Object
  - clone
```
public AccessPath clone()
```
    覆盖:
    
    clone 在类中 Object
  - getEmptyAccessPath
```
public static AccessPath getEmptyAccessPath()
```
  - isEmpty
```
public boolean isEmpty()
```
  - entails
```
public boolean entails(AccessPath a2)
```
    Checks whether this access path entails the given one, i.e. refers to all objects the other access path also refers to.
    
    参数:
    
    a2 - The other access path
    
    返回:
    
    True if this access path refers to all objects the other access path also refers to
  - dropLastField
```
public AccessPath dropLastField()
```
    Gets a copy of this access path, but drops the last field. If this access path has no fields, the identity is returned.
    
    返回:
    
    A copy of this access path with the last field being dropped.
  - getBaseType
```
public soot.Type getBaseType()
```
    Gets the type of the base value
    
    返回:
    
    The type of the base value
  - getTaintSubFields
```
public boolean getTaintSubFields()
```
    Gets whether sub-fields shall be tainted. If this access path is e.g. a.b.*, the result is true, whereas it is false for a.b.
    
    返回:
    
    True if this access path includes all objects rechable through it, otherwise false
  - isCutOffApproximation
```
public boolean isCutOffApproximation()
```
    Gets whether this access path has been (transitively) constructed from one which was cut off by the access path length limitation. If this is the case, this AP might not be precise.
    
    返回:
    
    True if this access path was constructed from a cut-off one.
  - getArrayTaintType
```
public AccessPath.ArrayTaintType getArrayTaintType()
```
    Gets whether this access path references only the length of the array to which it points, not the contents of that array
    
    返回:
    
    True if this access paths points refers to the length of an array instead of to its contents
  - startsWith
```
public boolean startsWith(soot.Value val)
```
    Checks whether this access path starts with the given value
    
    参数:
    
    val - The value that is a potential prefix of the current access path
    
    返回:
    
    True if this access paths with the given value (i.e., the given value is a prefix of this access path), otherwise false
  - getCanHaveImmutableAliases
```
public boolean getCanHaveImmutableAliases()
```
    Returns whether the tainted object can have immutable aliases.
    
    返回:
    
    true if the tainted object can have immutable aliases.

类 AccessPath

嵌套类概要

方法概要

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

方法详细资料

canContainValue

getPlainValue

getCompleteValue

getLastField

getLastFieldType

getFirstField

firstFieldMatches

getFirstFieldType

getFields

getFieldTypes

getFieldCount

hashCode

getHashCode

equals

isStaticFieldRef

isInstanceFieldRef

isFieldRef

isLocal

toString

clone

getEmptyAccessPath

isEmpty

entails

dropLastField

getBaseType

getTaintSubFields

isCutOffApproximation

getArrayTaintType

startsWith

getCanHaveImmutableAliases