dg
dg copied to clipboard
implement lazy LLVM DG building
needs lazy points-to and reaching-def.. long run I suppose
- [x] lazy data dependence analysis
- [ ] lazy points-to analysis