Closed 2over12 closed 2 years ago
Implements polymorphism in the sketch graph to prevent unifying types of calling functions through callees. Ie. all values passed to malloc should not be unified.
Implements polymorphism in the sketch graph to prevent unifying types of calling functions through callees. Ie. all values passed to malloc should not be unified.