Do intraprocedural analysis on single function graphs to generate constraints
Opened this issue · 0 comments
2over12 commented
After retrieving points-to info we should be able to generate single intraproceduralish graphs for each scc instead of the ugly node filtering we do now