search

trailofbits / binary_type_inference

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

Zexts/Sexts should be included in type constraints. #4

Closed 2over12 closed 2 years ago

2over12 commented 2 years ago

Currently we ignore sign extend and zero extended copies and not emitting type constraints, we should infer from this behavior that the target is integral and match up the portion extended in the constraint. This issue is backlogged until the solver is implemented.

2over12 commented 2 years ago

This is partially fixed in https://github.com/trailofbits/binary_type_inference/commit/f915967a71dd6812fb0afe5087a8070923467106 by assuming that any truncated or extended operation is the weakest integer type.