public class JvmTaintCpa extends SimpleCpa
JvmTaintCpa
computes abstract states containing JvmTaintSource
s which can reach the given code location.Constructor and Description |
---|
JvmTaintCpa(java.util.Map<Signature,java.util.Set<JvmTaintSource>> signaturesToSources)
Create a taint CPA.
|
JvmTaintCpa(java.util.Set<? extends JvmTaintSource> sources)
Create a taint CPA.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Map<Signature,java.util.Set<JvmTaintSource>> |
createSourcesMap(java.util.Set<? extends JvmTaintSource> sources)
Since the used data structure is a map that uses the fqn as key, which is a parameter of the
TaintSource s, this method constructs the map correctly starting from a set of sources. |
getAbstractDomain, getMergeOperator, getPrecisionAdjustment, getStopOperator, getTransferRelation
public JvmTaintCpa(java.util.Set<? extends JvmTaintSource> sources)
sources
- a set of taint sourcespublic JvmTaintCpa(java.util.Map<Signature,java.util.Set<JvmTaintSource>> signaturesToSources)
fqnToSources
- a mapping from fully qualified names to taint sourcespublic static java.util.Map<Signature,java.util.Set<JvmTaintSource>> createSourcesMap(java.util.Set<? extends JvmTaintSource> sources)
TaintSource
s, this method constructs the map correctly starting from a set of sources.