proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintSink

java.lang.Object

proguard.analysis.cpa.domain.taint.TaintSink

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

public class JvmTaintSink
extends TaintSink

The JvmTaintSink adds an interface for extracting sensitive JVM memory locations.

Field Summary

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

fqn, takesArgs, takesGlobals, takesInstance

Constructor Summary

Constructors

Constructor and Description
JvmTaintSink(java.lang.String fqn, boolean takesInstance, java.util.Set<java.lang.Integer> takesArgs, java.util.Set<java.lang.String> takesGlobals) Create a taint sink.

Method Summary

Modifier and Type	Method and Description
static java.util.Map<java.lang.String,java.util.Set<JvmMemoryLocation>>	convertSinksToMemoryLocations(java.util.Collection<? extends JvmTaintSink> taintSinks)
java.util.Set<JvmMemoryLocation>	getMemoryLocations() Returns memory locations which trigger this taint sink.

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(java.lang.String fqn,
                    boolean takesInstance,
                    java.util.Set<java.lang.Integer> takesArgs,
                    java.util.Set<java.lang.String> takesGlobals)

Create a taint sink.

Parameters:

fqn - the fully qualified name of a sink method

takesInstance - whether the sink is sensitive to the calling instance

takesArgs - a set of sensitive arguments

takesGlobals - a set of sensitive global variables

Method Detail

getMemoryLocations

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

Returns memory locations which trigger this taint sink.

convertSinksToMemoryLocations

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