VM Opcode for Reverse Engineering: Bytecode to Constraints

VM으로 구현된 opcode 검증 로직을 리버싱 관점에서 정리