UNKNOWN INSTRUCTION: SHL about oyente HOT 2 CLOSED

Oyente was designed before the fork Byzantium (block 7,280,000 on the main chain, 28 Feb 2019) that introduced the instruction SHL, and apparently has never been upgraded by the semantics of newer instructions. Oyente does not handle the operations SHR, SAR, EXTCODEHASH, CHAINID, SELFBALANCE, BASEFEE and CREATE2 (same or later fork). Oyente even uses the opcode for CREATE2 internally for a different purpose.
Not being able to handle SHL is particularly painful, as this instruction appears, since quite some time, near the beginning of every bytecode generated by the Solidity compiler, to dissect the call data to obtain the four byte signature of the called method.

from oyente.

Thanks for the detailed answer!

from oyente.