Do intraprocedural analysis on single function graphs to generate constraints

trailofbits / binary_type_inference

GNU General Public License v3.0

11 stars 0 forks source link

Do intraprocedural analysis on single function graphs to generate constraints #29

Open 2over12 opened 2 years ago

2over12 commented 2 years ago

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