[ANN] Ocaml-solidity, a new OCaml library for Solidity


We are pleased to announce our new OCaml library, ocaml-solidity ! Ocaml-solidity is a program manipulation library that provides a Solidity parser and typechecker.

Our library is made for developers on Solidity code analysis, it builds a typechecked AST that can be analyzed with a provided visitor. Please note that our parser and typecheck conforms mostly to Solidity 0.7, inline assembly is not supported. Take a look at our documentation.

You can test it and report bugs just here!


I should add that the project is now available in the opam-repository, see solidity-parser and solidity-typechecker.