proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintAbstractState

java.lang.Object

proguard.analysis.cpa.jvm.state.JvmAbstractState<SetAbstractState<JvmTaintSource>>

proguard.analysis.cpa.jvm.domain.taint.JvmTaintAbstractState

All Implemented Interfaces:

LatticeAbstractState<JvmAbstractState<SetAbstractState<JvmTaintSource>>>, AbstractState, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class JvmTaintAbstractState
extends JvmAbstractState<SetAbstractState<JvmTaintSource>>

The JvmTaintAbstractState is a JvmAbstractState with features specific to taint analysis.

Field Summary

Fields inherited from class proguard.analysis.cpa.jvm.state.JvmAbstractState

DEFAULT_FIELD, frame, heap, programLocation, staticFields, topLocation

Constructor Summary

Constructors

Constructor and Description
JvmTaintAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<SetAbstractState<JvmTaintSource>> frame, JvmHeapAbstractState<SetAbstractState<JvmTaintSource>> heap, MapAbstractState<java.lang.String,SetAbstractState<JvmTaintSource>> staticFields) Create a taint JVM abstract state.

Method Summary

Modifier and Type	Method and Description
JvmTaintAbstractState	copy() Creates a copy of itself.
JvmTaintAbstractState	join(JvmAbstractState<SetAbstractState<JvmTaintSource>> abstractState) Computes a join over itself and the abstractState.
<T> void	setObjectTaint(T object, SetAbstractState<JvmTaintSource> value) Adds transitively taints from value to all fields of object.

Methods inherited from class proguard.analysis.cpa.jvm.state.JvmAbstractState

clearOperandStack, equals, getArrayElementOrDefault, getFieldOrDefault, getFieldOrDefault, getFrame, getHeap, getProgramLocation, getStaticFields, getStaticOrDefault, getVariableOrDefault, hashCode, isLessOrEqual, newArray, newObject, newObject, peek, peek, peekOrDefault, peekOrDefault, pop, popOrDefault, push, pushAll, setArrayElement, setField, setField, setProgramLocation, setStatic, setVariable

Methods inherited from class java.lang.Object

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

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

isLess

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

getPrecision, getStateByName

Constructor Detail

JvmTaintAbstractState

public JvmTaintAbstractState(JvmCfaNode programLocation,
                             JvmFrameAbstractState<SetAbstractState<JvmTaintSource>> frame,
                             JvmHeapAbstractState<SetAbstractState<JvmTaintSource>> heap,
                             MapAbstractState<java.lang.String,SetAbstractState<JvmTaintSource>> staticFields)

Create a taint JVM abstract state.

Parameters:

programLocation - a CFA node

frame - a frame abstract state

heap - a heap abstract state

staticFields - a static field table

Method Detail

setObjectTaint

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

Adds transitively taints from value to all fields of object.

join

public JvmTaintAbstractState join(JvmAbstractState<SetAbstractState<JvmTaintSource>> abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

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

Overrides:

join in class JvmAbstractState<SetAbstractState<JvmTaintSource>>

copy

public JvmTaintAbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

Overrides:

copy in class JvmAbstractState<SetAbstractState<JvmTaintSource>>