https://github.com/pirapira/dry-analyzer

Dr. Y's Ethereum Contract Analyzer
https://github.com/pirapira/dry-analyzer

Last synced: 3 months ago
JSON representation

Dr. Y's Ethereum Contract Analyzer

• Host: GitHub
• URL: https://github.com/pirapira/dry-analyzer
• Owner: pirapira
• License: lgpl-2.1
• Created: 2016-09-02T20:32:46.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-03-24T10:31:10.000Z (almost 3 years ago)
• Last Synced: 2024-10-03T12:25:03.939Z (3 months ago)
• Language: Coq
• Size: 98.6 KB
• Stars: 42
• Watchers: 7
• Forks: 10
• Open Issues: 22
• Metadata Files:
  • Readme: readme.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Dr. Y's Ethereum Contract Analyzer

[Online version](http://dry.yoichihirai.com/)

## How to use

* Install OCaml (4.02.3 works) and [opam](https://opam.ocaml.org/)

* `opam install lwt cohttp coq getopt batteries ocamlnet`

* `make`

* `./main.native -p 9999`

* access [localhost:9999](http://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.