soot.jimple.infoflow.util

类 DebugAbstractionTree

java.lang.Object

soot.jimple.infoflow.util.DebugAbstractionTree

public final class DebugAbstractionTree
extends Object

Creates a Graphviz/dot graph of a Abstraction tree. Contains the abstractions as well as its predecessors an neighbors

作者:

Marc Miltenberger

方法概要

限定符和类型	方法和说明
static String	createDotGraph(Abstraction absStart, boolean printNeighbors) Creates a dot graph with indices as labels for the abstractions (otherwise, it would be way too large).

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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

方法详细资料

createDotGraph

public static String createDotGraph(Abstraction absStart,
                                    boolean printNeighbors)

Creates a dot graph with indices as labels for the abstractions (otherwise, it would be way too large). The correspondence is printed to log.

参数:

absStart - start abstraction of the tree (root)

printNeighbors - whether to print neighbors

返回:

the dot graph