Saturday, September 30, 2006

 

BrainScan

BrainScan is a source-code model checker for BrainF*ck. Source tar ball and statically-linked x86 linux binary. BrainScan is written by OCaml, so to compile you need OCaml (> =3.09) , findlib and extlib.

BrainScan can check
-H or --hash options allow to compress the state space using hash values. This makes the check imprecise, but save large amount of memory. should be integer from 1 to 31.

Enjoy!

This page is powered by Blogger. Isn't yours?