Dr. Y's Ethereum Contract Analyzer

Online version

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.