proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintSink

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSink

proguard.analysis.cpa.jvm.domain.taint.JvmTaintSink

Direct Known Subclasses:

JvmInvokeTaintSink, JvmReturnTaintSink

public abstract class JvmTaintSink
extends TaintSink

The JvmTaintSink adds an interface for extracting sensitive JVM memory locations and to check if the sink matches a given cfa edge.

Field Summary

Fields inherited from class proguard.analysis.cpa.domain.taint.TaintSink

signature

Constructor Summary

Constructors

Constructor and Description
JvmTaintSink(Signature signature)

Method Summary

Modifier and Type	Method and Description
static java.util.Map<Signature,java.util.Map<JvmTaintSink,java.util.Set<JvmMemoryLocation>>>	convertSinksToMemoryLocations(java.util.Collection<? extends JvmTaintSink> taintSinks)
abstract java.util.Set<JvmMemoryLocation>	getMemoryLocations() Returns memory locations which trigger this taint sink.
abstract boolean	matchCfaEdge(JvmCfaEdge edge) Returns whether the sink matches a given CFA edge.

Methods inherited from class proguard.analysis.cpa.domain.taint.TaintSink

equals, hashCode, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmTaintSink

public JvmTaintSink(Signature signature)

Method Detail

getMemoryLocations

public abstract java.util.Set<JvmMemoryLocation> getMemoryLocations()

Returns memory locations which trigger this taint sink.

matchCfaEdge

public abstract boolean matchCfaEdge(JvmCfaEdge edge)

Returns whether the sink matches a given CFA edge.

convertSinksToMemoryLocations

public static java.util.Map<Signature,java.util.Map<JvmTaintSink,java.util.Set<JvmMemoryLocation>>> convertSinksToMemoryLocations(java.util.Collection<? extends JvmTaintSink> taintSinks)