circuitous icon indicating copy to clipboard operation
circuitous copied to clipboard

Published 20 hours ago • verified publisher icon trailofbits

Extraneous `And` child on DecoderResult

Open sabastiaan opened this issue 2 years ago • 2 comments

The Decoder Result has an out going child to an And node with 1 or more children all connecting to const_1_1 which is trivially true.

The number of edges from the and node to the const node can vary, did not figure out why yet.

Example witnesses instructions: 90 488b90 image

sabastiaan avatar Jun 02 '22 11:06 sabastiaan