What type information should we extract from an INT_EQUAL

trailofbits / binary_type_inference

GNU General Public License v3.0

15 stars 2 forks source link

What type information should we extract from an INT_EQUAL #34

Open 2over12 opened 2 years ago

2over12 commented 2 years ago

Currently we infer nothing but in one of our tests, the only way to infer that variable x is an integer is to observe that it is tested for equality against an integer... should we unify across compares?