Polyglot toolchain

The Polyglot toolchain can be downloaded here: polyglot.

Polyglot documentation

The Polyglot documentation is included with the toolchain above, or can be viewed here: polyglot documentation.

Polyglot demo videos (requires Flash player)

Curious about Polyglot? Here are two demonstration videos (requires Flash player).

You can watch a video of Polyglot generating test-vectors here: symbolic execution demo.

You can watch a video of Polyglot checking whether a test-vector is correct here: test-vector checking demo.