public abstract class JvmTaintSink extends TaintSink
JvmTaintSink
adds an interface for extracting sensitive JVM memory locations and to
check if the sink matches a given cfa edge.IS_VALID_FOR_SOURCE_DEFAULT, isValidForSource, signature
Constructor and Description |
---|
JvmTaintSink(Signature signature) |
JvmTaintSink(Signature signature,
java.util.function.Predicate<TaintSource> isValidForSource) |
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)
Helper method taking a collection of sinks and converting it to a mapping that associates each
sink with the memory locations which triggers it.
|
boolean |
equals(java.lang.Object other) |
abstract java.util.Set<JvmMemoryLocation> |
getMemoryLocations()
Returns memory locations which trigger this taint sink.
|
int |
hashCode() |
abstract boolean |
matchCfaEdge(JvmCfaEdge edge)
Returns whether the sink matches a given CFA edge.
|
public JvmTaintSink(Signature signature)
public JvmTaintSink(Signature signature, java.util.function.Predicate<TaintSource> isValidForSource)
public abstract java.util.Set<JvmMemoryLocation> getMemoryLocations()
public abstract boolean matchCfaEdge(JvmCfaEdge edge)
public static java.util.Map<Signature,java.util.Map<JvmTaintSink,java.util.Set<JvmMemoryLocation>>> convertSinksToMemoryLocations(java.util.Collection<? extends JvmTaintSink> taintSinks)