Tags: jit z3 vm reversing 

Rating: 5.0

TLDR: It's a VM that JIT compiles bytecode and runs it to mutate the password/secret. Once you decode the operations it does, you can reverse it via brute force or using z3 (like I did)

Original writeup (with solution script): [https://ctf.harrisongreen.me/2020/hacktm/mama_bear/](https://ctf.harrisongreen.me/2020/hacktm/mama_bear/)

Original writeup (https://ctf.harrisongreen.me/2020/hacktm/mama_bear/).