Search in sources :

Example 1 with Predicate

use of soot.jimple.spark.ondemand.genericutil.Predicate in project soot by Sable.

the class DotPointerGraph method dump.

public void dump(String filename) {
    PrintWriter pw = null;
    try {
        pw = new PrintWriter(new FileOutputStream(filename));
    } catch (FileNotFoundException e) {
        logger.error(e.getMessage(), e);
    }
    // pw.println("digraph G {\n\trankdir=LR;");
    pw.println("digraph G {");
    Predicate<Node> falsePred = new Predicate<Node>() {

        @Override
        public boolean test(Node obj_) {
            return false;
        }
    };
    for (Node node : nodes) {
        pw.println(PagToDotDumper.makeDotNodeLabel(node, falsePred));
    }
    for (String edge : edges) {
        pw.println(edge);
    }
    pw.println("}");
    pw.close();
}
Also used : FileOutputStream(java.io.FileOutputStream) FieldRefNode(soot.jimple.spark.pag.FieldRefNode) Node(soot.jimple.spark.pag.Node) VarNode(soot.jimple.spark.pag.VarNode) AllocNode(soot.jimple.spark.pag.AllocNode) FileNotFoundException(java.io.FileNotFoundException) PrintWriter(java.io.PrintWriter) Predicate(soot.jimple.spark.ondemand.genericutil.Predicate)

Aggregations

FileNotFoundException (java.io.FileNotFoundException)1 FileOutputStream (java.io.FileOutputStream)1 PrintWriter (java.io.PrintWriter)1 Predicate (soot.jimple.spark.ondemand.genericutil.Predicate)1 AllocNode (soot.jimple.spark.pag.AllocNode)1 FieldRefNode (soot.jimple.spark.pag.FieldRefNode)1 Node (soot.jimple.spark.pag.Node)1 VarNode (soot.jimple.spark.pag.VarNode)1