2011-11-10 | jjenista | AWESOME. Used just the R relation of definite reach... | blob | commitdiff | raw |
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-20 | jjenista | a short, clear example that definite reachability will... | 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 | get hooked into disjoint | blob | commitdiff | raw | diff to current |
2011-09-21 | jjenista | Starting implementation for definite reachability analysis | blob | commitdiff | raw | diff to current |