Gordon J. Pace <[email protected]>

Joshua Ellul <[email protected]>

Shaun Azzopardi <[email protected]>

contractLarva is a runtime verification tool for Solidity contracts. For more details about the tool check out the user manual in the docs folder.

The code is currently undocumented and not well organised. Hopefully, it will be cleaned up for the next major release.

If you would like to ask any questions, report any bugs or make any feature requests, contact us using one of the emails above.

To compile contractLarva, you need a recent version of GHC. The easiest option is to install the Haskell Platform which comes with all the necessary libraries included (make sure that you choose to install the full platform, not the minimal one). To compile contractLarva, then simply run the following command in the src folder:

ghc -o contractlarva Main.hs

contractlarva <specification.dae> <input.sol> <output.sol>

or to prevent the initialisation block from being executed as part of the smart contract constructor add the --init-not-inlined flag:

contractlarva <specification.dae> <input.sol> <output.sol> --init-not-inlined

This project is licensed under the terms of the Apache 2.0 license.

Make sure you have installed parsec. Also, see this stackoverflow thread (https://stackoverflow.com/questions/9058914/cant-find-parsec-modules-in-ghci)

cabal install parsec