Package proguard.analysis.cpa.jvm.domain.taint

Class JvmStaticFieldTaintSource

java.lang.Object

proguard.analysis.cpa.jvm.domain.taint.JvmStaticFieldTaintSource

All Implemented Interfaces:

TaintSource

public class JvmStaticFieldTaintSource
extends Object
implements TaintSource

A JvmStaticFieldTaintSource specifies a static field whose reads (getstatic) taint the value pushed on the stack. It is keyed on the FieldSignature of the static field.

Field Summary

Fields

Modifier and Type	Field	Description
final FieldSignature	fieldSignature	The signature of the static field.

Constructor Summary

Constructors

Constructor	Description
JvmStaticFieldTaintSource(FieldSignature fieldSignature)	Create a static field taint source.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Signature	getSignature()	Returns the signature of the program location this taint source refers to.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

fieldSignature

public final FieldSignature fieldSignature

The signature of the static field.

Constructor Details

JvmStaticFieldTaintSource

public JvmStaticFieldTaintSource(FieldSignature fieldSignature)

Create a static field taint source.

Parameters:

fieldSignature - the signature of the static field

Method Details

getSignature

public Signature getSignature()

Description copied from interface: TaintSource

Returns the signature of the program location this taint source refers to.

Specified by:

getSignature in interface TaintSource

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object