2011-10-25 | jjenista | def reach coming along | blob | commitdiff | raw |
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 |