Blog | andsopwn

2025

VM Opcode for Reverse Engineering: Bytecode to Constraints

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

a andso
December 30, 2025
12 min read

reversing vm ctf
Z3 for Reverse Engineering: Modeling, Debugging and Solving

검증 로직을 수식으로 정리하고 Z3로 풀어내는 흐름을 리버싱 관점에서 정리

a andso
December 27, 2025
6 min read

reversing z3 solver