A Symbolic Evaluator for ECMAScript 5

Project overview coming soon

Code

This project is under active development. The source repository is available online.