Dr. Y's Ethereum Contract Analyzer

How to use

Install OCaml (4.02.3 works) and opam
opam install lwt cohttp coq getopt batteries
make
./main.native -p 9999
access localhost:9999
paste some EVM bytecode (beginning from 0x) in the text box
hit "Analyze" button
the analyzer tells what the bytecode does, to some point

LICENSE

big.ml comes from the Coq development team under LGPL version 2.1
The other files are currently distributed with LGPL version 2.1.