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!