Compiler and Verifier
Below are links to the Blancura compiler, verifier, source code, and runtime library based on Douglas Crockford's ADsafe and JSLint. Of note, both the compiler and verifier are proof-of-concept. While both are secure, in so far as they disallow the vulnerabilities described in the paper, they are incomplete in other ways. For example, the compiler does not compile properties of objects written in object literal notion. Thus, if you want to write objects in object literal notation, you must manually prefix the properties with the BLANCURA_*GUESTID* prefix. This, and the other incomplete parts, are all matters of insufficient time to modify the parser properly; they are not fundamental limitations of Blancura.