proguard.analysis.cpa.jvm.domain.taint

Class JvmBasicTaintTreeHeapFollowerAbstractState

java.lang.Object

proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapAbstractState<StateT>

proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapFollowerAbstractState<SetAbstractState<JvmTaintSource>>

proguard.analysis.cpa.jvm.domain.taint.JvmBasicTaintTreeHeapFollowerAbstractState

All Implemented Interfaces:

LatticeAbstractState<JvmHeapAbstractState<SetAbstractState<JvmTaintSource>>>, AbstractState, JvmTaintHeapAbstractState, JvmHeapAbstractState<SetAbstractState<JvmTaintSource>>

public class JvmBasicTaintTreeHeapFollowerAbstractState
extends JvmTreeHeapFollowerAbstractState<SetAbstractState<JvmTaintSource>>
implements JvmTaintHeapAbstractState

This is a JvmTreeHeapFollowerAbstractState without object tainting.

Field Summary

Fields inherited from class proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapFollowerAbstractState

principal

Fields inherited from class proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapAbstractState

defaultValue, heapMapAbstractStateFactory, heapNodeMapAbstractStateFactory, referenceToObject

Constructor Summary

Constructors

Constructor and Description

JvmBasicTaintTreeHeapFollowerAbstractState(JvmReferenceAbstractState principal, SetAbstractState<JvmTaintSource> defaultValue, MapAbstractState<Reference,HeapNode<SetAbstractState<JvmTaintSource>>> referenceToNode, MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<JvmTaintSource>>> heapMapAbstractStateFactory, MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>> objectMapAbstractStateFactory) Create a taint follower heap abstract state.

Method Summary

Modifier and Type	Method and Description
JvmBasicTaintTreeHeapFollowerAbstractState	copy() Creates a copy of itself.
JvmBasicTaintTreeHeapFollowerAbstractState	join(JvmHeapAbstractState<SetAbstractState<JvmTaintSource>> abstractState) Computes a join over itself and the abstractState.
<T> void	taintObject(T object, SetAbstractState<JvmTaintSource> value) Transitively applies the taint value to the object.

Methods inherited from class proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapFollowerAbstractState

getArrayElementOrDefault, getFieldOrDefault, getReferenceAbstractState, newArray, newObject, reduce, setArrayElement, setField, setPrincipalState

Methods inherited from class proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapAbstractState

assignField, equals, expand, getArrayElementOrDefault, getField, getHeapNode, hashCode, isLessOrEqual, mergeField, setArrayElement, setField

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.jvm.state.heap.JvmHeapAbstractState

newObject

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

getPrecision, getStateByName

Constructor Detail

JvmBasicTaintTreeHeapFollowerAbstractState

public JvmBasicTaintTreeHeapFollowerAbstractState(JvmReferenceAbstractState principal,
                                                  SetAbstractState<JvmTaintSource> defaultValue,
                                                  MapAbstractState<Reference,HeapNode<SetAbstractState<JvmTaintSource>>> referenceToNode,
                                                  MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<JvmTaintSource>>> heapMapAbstractStateFactory,
                                                  MapAbstractStateFactory<java.lang.String,SetAbstractState<JvmTaintSource>> objectMapAbstractStateFactory)

Create a taint follower heap abstract state.

Parameters:

principal - the principal heap abstract state containing reference abstract states

defaultValue - the default value representing unknown values

referenceToNode - the mapping from references to heap nodes

heapMapAbstractStateFactory - a map abstract state factory used for constructing the mapping from references to objects

objectMapAbstractStateFactory - a map abstract state factory used for constructing the mapping from fields to values

Method Detail

taintObject

public <T> void taintObject(T object,
                            SetAbstractState<JvmTaintSource> value)

Description copied from interface: JvmTaintHeapAbstractState

Transitively applies the taint value to the object.

Specified by:

taintObject in interface JvmTaintHeapAbstractState

join

public JvmBasicTaintTreeHeapFollowerAbstractState join(JvmHeapAbstractState<SetAbstractState<JvmTaintSource>> abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<JvmHeapAbstractState<SetAbstractState<JvmTaintSource>>>

Overrides:

join in class JvmTreeHeapFollowerAbstractState<SetAbstractState<JvmTaintSource>>

copy

public JvmBasicTaintTreeHeapFollowerAbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

Specified by:

copy in interface JvmHeapAbstractState<SetAbstractState<JvmTaintSource>>

Overrides:

copy in class JvmTreeHeapFollowerAbstractState<SetAbstractState<JvmTaintSource>>