Loading src/main/java/tfm/exec/CFGLog.java +0 −3 Original line number Diff line number Diff line package tfm.exec; import com.github.javaparser.ast.CompilationUnit; import com.github.javaparser.ast.Node; import guru.nidi.graphviz.engine.Format; import guru.nidi.graphviz.engine.Graphviz; import tfm.graphs.CFGGraph; import tfm.graphs.Graph; import tfm.graphs.PDGGraph; import tfm.visitors.CFGVisitor; import java.io.File; Loading src/main/java/tfm/exec/GraphLog.java +0 −5 Original line number Diff line number Diff line package tfm.exec; import com.github.javaparser.ast.CompilationUnit; import com.github.javaparser.ast.Node; import com.github.javaparser.ast.visitor.GenericVisitor; import com.github.javaparser.ast.visitor.VoidVisitor; import tfm.graphs.Graph; import tfm.utils.Logger; import java.io.IOException; import java.util.Comparator; import java.util.stream.Collectors; public abstract class GraphLog<G extends Graph<?>> { Loading src/main/java/tfm/exec/Main.java +0 −5 Original line number Diff line number Diff line package tfm.exec; import com.github.javaparser.JavaParser; import com.github.javaparser.ast.CompilationUnit; import com.github.javaparser.ast.Node; import com.github.javaparser.ast.body.MethodDeclaration; import com.github.javaparser.ast.visitor.GenericVisitor; import tfm.graphs.CFGGraph; import tfm.graphs.Graph; import tfm.graphs.PDGGraph; import tfm.utils.Logger; import tfm.utils.Utils; Loading src/main/java/tfm/exec/PDGLog.java +0 −1 Original line number Diff line number Diff line package tfm.exec; import com.github.javaparser.ast.CompilationUnit; import guru.nidi.graphviz.engine.Format; import guru.nidi.graphviz.engine.Graphviz; import tfm.graphs.PDGGraph; Loading src/main/java/tfm/graphs/CFGGraph.java +0 −4 Original line number Diff line number Diff line Loading @@ -3,7 +3,6 @@ package tfm.graphs; import com.github.javaparser.ast.stmt.EmptyStmt; import com.github.javaparser.ast.stmt.Statement; import edg.graphlib.Arrow; import edg.graphlib.Vertex; import tfm.arcs.Arc; import tfm.arcs.cfg.ControlFlowArc; import tfm.nodes.CFGNode; Loading @@ -11,9 +10,6 @@ import tfm.nodes.Node; import tfm.slicing.SlicingCriterion; import java.util.Comparator; import java.util.HashSet; import java.util.Set; import java.util.function.Function; import java.util.stream.Collectors; public class CFGGraph extends Graph<CFGNode> { Loading Loading
src/main/java/tfm/exec/CFGLog.java +0 −3 Original line number Diff line number Diff line package tfm.exec; import com.github.javaparser.ast.CompilationUnit; import com.github.javaparser.ast.Node; import guru.nidi.graphviz.engine.Format; import guru.nidi.graphviz.engine.Graphviz; import tfm.graphs.CFGGraph; import tfm.graphs.Graph; import tfm.graphs.PDGGraph; import tfm.visitors.CFGVisitor; import java.io.File; Loading
src/main/java/tfm/exec/GraphLog.java +0 −5 Original line number Diff line number Diff line package tfm.exec; import com.github.javaparser.ast.CompilationUnit; import com.github.javaparser.ast.Node; import com.github.javaparser.ast.visitor.GenericVisitor; import com.github.javaparser.ast.visitor.VoidVisitor; import tfm.graphs.Graph; import tfm.utils.Logger; import java.io.IOException; import java.util.Comparator; import java.util.stream.Collectors; public abstract class GraphLog<G extends Graph<?>> { Loading
src/main/java/tfm/exec/Main.java +0 −5 Original line number Diff line number Diff line package tfm.exec; import com.github.javaparser.JavaParser; import com.github.javaparser.ast.CompilationUnit; import com.github.javaparser.ast.Node; import com.github.javaparser.ast.body.MethodDeclaration; import com.github.javaparser.ast.visitor.GenericVisitor; import tfm.graphs.CFGGraph; import tfm.graphs.Graph; import tfm.graphs.PDGGraph; import tfm.utils.Logger; import tfm.utils.Utils; Loading
src/main/java/tfm/exec/PDGLog.java +0 −1 Original line number Diff line number Diff line package tfm.exec; import com.github.javaparser.ast.CompilationUnit; import guru.nidi.graphviz.engine.Format; import guru.nidi.graphviz.engine.Graphviz; import tfm.graphs.PDGGraph; Loading
src/main/java/tfm/graphs/CFGGraph.java +0 −4 Original line number Diff line number Diff line Loading @@ -3,7 +3,6 @@ package tfm.graphs; import com.github.javaparser.ast.stmt.EmptyStmt; import com.github.javaparser.ast.stmt.Statement; import edg.graphlib.Arrow; import edg.graphlib.Vertex; import tfm.arcs.Arc; import tfm.arcs.cfg.ControlFlowArc; import tfm.nodes.CFGNode; Loading @@ -11,9 +10,6 @@ import tfm.nodes.Node; import tfm.slicing.SlicingCriterion; import java.util.Comparator; import java.util.HashSet; import java.util.Set; import java.util.function.Function; import java.util.stream.Collectors; public class CFGGraph extends Graph<CFGNode> { Loading