Last week I audited a contract with 14% unreachable instructions. The owner swore they were "leftover from testing."
function withdraw() external { if (false) { selfdestruct(payable(owner)); } // normal withdrawal logic } The optimizer removed the if (false) branch in bytecode entirely — or so I thought. Actually, the compiler preserved a JUMPDEST but no incoming JUMP opcode. 0xdeadcode
It sounds like you're asking me to develop a post under the handle — likely for a platform like X (Twitter), a blog, GitHub, or a forum such as Ethereum Research or Stack Overflow. Last week I audited a contract with 14%