1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
package vaporize.library;
import java.util.logging.Logger;
import java.util.logging.ConsoleHandler;
import cs132.vapor.ast.*;
import st.*;
import misc.*;
import java.util.*;
public class CFGSimp extends VInstr.VisitorPR<String, String, RuntimeException> {
private static Logger log = Logger.getLogger(CFGSimp.class.getName());
private static ConsoleHandler consoleHandler = new ConsoleHandler();
static {
consoleHandler.setFormatter(new MinimalSimpleFormatter());
log.addHandler(consoleHandler);
}
private VaporProgram vp;
private Kettle kettle;
private ArrayList<ControlFlowGraph> cfgs;
public CFGSimp(VaporProgram vp, ArrayList<String> vapor) {
this.vp = vp;
this.kettle = new Kettle(vapor);
this.cfgs = new ArrayList<ControlFlowGraph>();
for (VFunction f : this.vp.functions) {
ControlFlowGraph cfg = new ControlFlowGraph();
CFGNode start = new CFGNode(f.body[0]);
cfg.setStart(start);
// nodes
this.log.info(String.format("CFGSimp is collecting nodes for %s",
this.kettle.parseFuncName(f)));
for (VInstr s : f.body)
cfg.addNode(new CFGNode(s));
// edges
this.log.info(String.format("CFGSimp is collecting edges for %s",
this.kettle.parseFuncName(f)));
for (VInstr s : f.body)
s.accept("", this);
this.cfgs.add(cfg);
}
}
public ArrayList<ControlFlowGraph> getCFGs() {
return this.cfgs;
}
public String visit(String p, VMemRead n) throws RuntimeException {
return null;
}
public String visit(String p, VMemWrite n) throws RuntimeException {
return null;
}
public String visit(String p, VAssign n) throws RuntimeException {
return null;
}
public String visit(String p, VBranch n) throws RuntimeException {
// two edges
return null;
}
public String visit(String p, VGoto n) throws RuntimeException {
return null;
}
public String visit(String p, VCall n) throws RuntimeException {
return null;
}
public String visit(String p, VBuiltIn n) throws RuntimeException {
return null;
}
public String visit(String p, VReturn n) throws RuntimeException {
return null;
}
}
|
