projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 100445a) | patch
check points-to module improvements along with a bug fix for disjoint call transfer...
authorjjenista <jjenista>
Wed, 1 Jun 2011 19:12:01 +0000 (19:12 +0000)
committerjjenista <jjenista>
Wed, 1 Jun 2011 19:12:01 +0000 (19:12 +0000)
commit0aca2e6f413de8a76c4726a00c0004db3717366e
tree2806889888925794f108770d68489805e03bba1dtree | snapshot
parent100445a0803f91bd20b9e490755a75ec8fb35365commit | diff
check points-to module improvements along with a bug fix for disjoint call transfer func.  The bug was when considering callee edges to bring to the caller, use the predicates of the edge only to decide
Robust/src/Analysis/Disjoint/DisjointAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/ExistPred.java diff | blob | history
Robust/src/Analysis/Disjoint/ExistPredSet.java diff | blob | history
Robust/src/Analysis/Disjoint/HeapAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Robust/src/Analysis/Pointer/Pointer.java diff | blob | history
Robust/src/Benchmarks/oooJava/master-makefile diff | blob | history
Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java diff | blob | history
Robust/src/IR/State.java diff | blob | history
Robust/src/Main/Main.java diff | blob | history
Irvine Research Compiler