Crytic-compile

Library to help smart contract compilation. It includes support for:

• Direct solc compilation
• Truffle
• Embark
• Dapp
• Etherlime
• Etherscan
• Brownie
• Waffle
• Buidler
• Hardhat

See the Configuration documentation for advanced usages.

The plugin is used in Crytic tools, including:

• Slither
• Echidna
• Manticore
• evm-cfg-builder

Installation

pip3 install crytic-compile

Usage

Standalone

crytic-compile .

Crytic-compile will generate crytic-export/contracts.json containing the AST/ABI and bytecodes of the contracts.

Run crytic-compile --help for more options.

As a library

See the library documentation.