soot.jimple.infoflow

枚举 InfoflowConfiguration.PathBuildingAlgorithm

java.lang.Object

java.lang.Enum<InfoflowConfiguration.PathBuildingAlgorithm>

soot.jimple.infoflow.InfoflowConfiguration.PathBuildingAlgorithm

所有已实现的接口:

Serializable, Comparable<InfoflowConfiguration.PathBuildingAlgorithm>

封闭类:

InfoflowConfiguration

public static enum InfoflowConfiguration.PathBuildingAlgorithm
extends Enum<InfoflowConfiguration.PathBuildingAlgorithm>

Enumeration containing the supported path builders

枚举常量概要

枚举常量

枚举常量和说明
ContextInsensitive A context-insensitive path reconstruction algorithm.
ContextInsensitiveSourceFinder Very fast context-insensitive implementation that only finds source-to-sink connections, but no paths.
ContextSensitive Highly precise context-sensitive path reconstruction approach.
None An empty implementation that not reconstruct any paths and always returns an empty set.
Recursive Simple context-insensitive, single-threaded, recursive approach to path reconstruction.

方法概要

限定符和类型	方法和说明
static InfoflowConfiguration.PathBuildingAlgorithm	valueOf(String name) 返回带有指定名称的该类型的枚举常量。
static InfoflowConfiguration.PathBuildingAlgorithm[]	values() 按照声明该枚举类型的常量的顺序, 返回 包含这些常量的数组。

从类继承的方法 java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

从类继承的方法 java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

枚举常量详细资料

Recursive

public static final InfoflowConfiguration.PathBuildingAlgorithm Recursive

Simple context-insensitive, single-threaded, recursive approach to path reconstruction. Low overhead for small examples, but does not scale.

ContextSensitive

public static final InfoflowConfiguration.PathBuildingAlgorithm ContextSensitive

Highly precise context-sensitive path reconstruction approach. For a large number of paths or complex programs, it may be slow.

ContextInsensitive

public static final InfoflowConfiguration.PathBuildingAlgorithm ContextInsensitive

A context-insensitive path reconstruction algorithm. It scales well, but may introduce false positives.

ContextInsensitiveSourceFinder

public static final InfoflowConfiguration.PathBuildingAlgorithm ContextInsensitiveSourceFinder

Very fast context-insensitive implementation that only finds source-to-sink connections, but no paths.

None

public static final InfoflowConfiguration.PathBuildingAlgorithm None

An empty implementation that not reconstruct any paths and always returns an empty set. For internal use only.

方法详细资料

values

public static InfoflowConfiguration.PathBuildingAlgorithm[] values()

按照声明该枚举类型的常量的顺序, 返回 包含这些常量的数组。该方法可用于迭代 常量, 如下所示:

for (InfoflowConfiguration.PathBuildingAlgorithm c : InfoflowConfiguration.PathBuildingAlgorithm.values())
    System.out.println(c);

返回:

按照声明该枚举类型的常量的顺序返回的包含这些常量的数组

valueOf

public static InfoflowConfiguration.PathBuildingAlgorithm valueOf(String name)

返回带有指定名称的该类型的枚举常量。 字符串必须与用于声明该类型的枚举常量的 标识符完全匹配。(不允许有多余 的空格字符。)

参数:

name - 要返回的枚举常量的名称。

返回:

返回带有指定名称的枚举常量

抛出:

IllegalArgumentException - 如果该枚举类型没有带有指定名称的常量

NullPointerException - 如果参数为空值