Closed iljakuklic closed 2 years ago
Make sure OP_TOALTSTACK and OP_FROMALTSTACK are only executed inside of executed if/else branch.
OP_TOALTSTACK
OP_FROMALTSTACK
Uncovered by brute-force comparing sequences of up to 4 opcodes against the Bitcoin interpreter.
Added a unit test
Make sure
OP_TOALTSTACK
andOP_FROMALTSTACK
are only executed inside of executed if/else branch.Uncovered by brute-force comparing sequences of up to 4 opcodes against the Bitcoin interpreter.