projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04ff08d) | patch
implemented a fixed point based interprocedural analysis that analyzes flow-graphs...
authoryeom <yeom>
Fri, 29 Jun 2012 00:34:27 +0000 (00:34 +0000)
committeryeom <yeom>
Fri, 29 Jun 2012 00:34:27 +0000 (00:34 +0000)
commitf0aec2e998d39bd8474da2e98da70bbf7a4f5b15
treea37ae523e43164acf3c723d2b3ebb61aaff4fe97tree | snapshot
parent04ff08dbf682fdda4e70d940174fe18268aa806ccommit | diff
implemented a fixed point based interprocedural analysis that analyzes flow-graphs and construct a lattice for each method.
Robust/src/Analysis/SSJava/FlowGraph.java diff | blob | history
Robust/src/Analysis/SSJava/LocationInference.java diff | blob | history
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Irvine Research Compiler