search

trailofbits / binary_type_inference

GNU General Public License v3.0
15 stars 2 forks source link

Generate Simplified Constraint Sets for Functions #5

Closed 2over12 closed 2 years ago

2over12 commented 2 years ago

Currently everything is solved in one pass. In the retypd paper they first create a transducer over the type variables of functions to create function summary signatures then use those to create an interprocedural analysis effeciently.

2over12 commented 2 years ago

Working on this now with a first pass. The idea is to generate constraints for an SCC with a TID filter for that SCC, simplify and get a sig. Do that for every SCC, join the constraints. Then we can generate sketches from the constraint sets which will copy interprocedural/interSCC info. Things to watch out for is ensuring the vman is preserved accross generation runs