类 JvmTaintSink
- java.lang.Object
-
- proguard.analysis.cpa.domain.taint.TaintSink
-
- proguard.analysis.cpa.jvm.domain.taint.JvmTaintSink
-
- 直接已知子类:
JvmInvokeTaintSink,JvmReturnTaintSink
public abstract class JvmTaintSink extends TaintSink
TheJvmTaintSinkadds an interface for extracting sensitive JVM memory locations and to check if the sink matches a given cfa edge.
-
-
字段概要
-
从类继承的字段 proguard.analysis.cpa.domain.taint.TaintSink
IS_VALID_FOR_SOURCE_DEFAULT, isValidForSource, signature
-
-
构造器概要
构造器 构造器 说明 JvmTaintSink(Signature signature)JvmTaintSink(Signature signature, java.util.function.Predicate<TaintSource> isValidForSource)
-
方法概要
所有方法 静态方法 实例方法 抽象方法 具体方法 修饰符和类型 方法 说明 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.booleanequals(java.lang.Object other)abstract java.util.Set<JvmMemoryLocation>getMemoryLocations()Returns memory locations which trigger this taint sink.inthashCode()abstract booleanmatchCfaEdge(JvmCfaEdge edge)Returns whether the sink matches a given CFA edge.
-
-
-
构造器详细资料
-
JvmTaintSink
public JvmTaintSink(Signature signature)
-
JvmTaintSink
public JvmTaintSink(Signature signature, java.util.function.Predicate<TaintSource> isValidForSource)
-
-
方法详细资料
-
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)
Helper method taking a collection of sinks and converting it to a mapping that associates each sink with the memory locations which triggers it. For convenience the sinks are further grouped by their method signature.
-
-