This software is provided anonymously and for the sole intention of
peer review for the submission

ADsafety: Type-based Verification of JavaScript Sandboxing

to the USENIX Security Symposium, 2011.

Redistribution in any form is prohibited.

All Rights Reserved.

/tests/browser, /tests/gadgets, /tests/lint/jslint.js,
/tests/lint/jslint-lib.js contain 3rd-party code that is not covered
by this license.

Derived from code Copyright Brown University and Claudiu Saftoui.