search

trailofbits / binary_type_inference

GNU General Public License v3.0
11 stars 0 forks source link

Polymorphic Parameter Binds in /bin/ls Create a Reflexive Edge #47

Closed 2over12 closed 1 year ago

2over12 commented 1 year ago

After binding a parameter in sub_00109050 in /bin/ls the next parameter bind fails because of an assertion that type sketches should not create reflexive edges. This probably indicates a bug in binding the previous parameter to the one we fail on.

2over12 commented 1 year ago

It's not totally clear if reflexive edges should be forbidden, but this specific bind probably should not create one

2over12 commented 1 year ago

Closed by #49