Aratha based on ostrich

Running the analysis

First, install the dependencies by running

$ npm install

from this directory. To analyze a script, run

$ npm run analyze -- <path to script>

from this directory.

OSTRICH_PATH

The default solver is G-Strings. Alternatively, you can use an SMT solver by setting OSTRICH_PATH to the path to ostrich.

Tests

The tests are written with Mocha. To run them, run npm test from this directory.