Language interpreter and security case study for "Harmless Advice" at ACM Principles of Programming Languages - View it on GitHub