/dry-analyzer

Dr. Y's Ethereum Contract Analyzer

Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1

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 ocamlnet
  • 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.