Ghost
JA / EN
Ghost state is useful for proving some invariants on programs 👻🎃
The source code is partially taken from here.
nc 34.146.195.242 40007
Writeups
Official
No official writeup linked.
Community
Log in to add a community writeup.
JA / EN
Ghost state is useful for proving some invariants on programs 👻🎃
The source code is partially taken from here.
nc 34.146.195.242 40007
No official writeup linked.
Log in to add a community writeup.