projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
AWESOME. Used just the R relation of definite reach to successfully improve the...
[IRC.git]
/
Robust
/
src
/
Analysis
/
Disjoint
/
DefiniteReachAnalysis.java
2011-11-10
jjenista
AWESOME. Used just the R relation of definite reach...
blob
|
commitdiff
|
raw
2011-11-10
jjenista
successfully keep def reach info just for the store...
blob
|
commitdiff
|
raw
|
diff to current
2011-11-09
jjenista
def reach has to use PointerMethod to detect CFG edges...
blob
|
commitdiff
|
raw
|
diff to current
2011-11-08
jjenista
fix silly off-by-one bug
blob
|
commitdiff
|
raw
|
diff to current
2011-11-07
jjenista
found a bug, results still empty
blob
|
commitdiff
|
raw
|
diff to current
2011-11-07
jjenista
transfer funcs for the R relation of def reach coded...
blob
|
commitdiff
|
raw
|
diff to current
2011-10-25
jjenista
def reach coming along
blob
|
commitdiff
|
raw
|
diff to current
2011-10-25
jjenista
implementing def reach transfer funcs for R
blob
|
commitdiff
|
raw
|
diff to current
2011-10-21
jjenista
going to start with just enough definite reach analysis...
blob
|
commitdiff
|
raw
|
diff to current
2011-09-26
jjenista
Incrementing on definite reach analysis
blob
|
commitdiff
|
raw
|
diff to current
2011-09-22
jjenista
Be able to get def reach state out at a given program...
blob
|
commitdiff
|
raw
|
diff to current
2011-09-22
jjenista
getting definite reach analysis set up as a fixed point...
blob
|
commitdiff
|
raw
|
diff to current
2011-09-21
jjenista
Starting implementation for definite reachability analysis
blob
|
commitdiff
|
raw
|
diff to current