WP doesn't assume equal inputs when compare-post-reg-values isn't specified

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

WP doesn't assume equal inputs when compare-post-reg-values isn't specified #264

Closed fortunac closed 3 years ago

fortunac commented 3 years ago

WP doesn't assume equal inputs when the --compare-post-reg-values flag isn't specified as shown in example_05. We should make sure we are calling set_to_eq on all registers regardless of which compare flags are set.