Embark-Contract-Information

Plugin for Embark to generate AST|ABI|Bytecode. embark-contract-information allows the use of Crytic tools, such as:

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

See crytic-compile for more details.

Installation

Globally:

npm -g install @trailofbits/embark-contract-info

Or locally, from your embark dapp directory:

npm install @trailofbits/embark-contract-info --save

Usage

Add @trailofbits/embark-contract-info to the plugins section in embark.json:

  "plugins": {
    "@trailofbits/embark-contract-info": {
      "flags": ""
    }
  }

Embark will now generate crytic-export/contracts.json after each compilation. The file structure is:

{
    "asts": [],
    "contracts": {
        "/path:contract_name": {
            "abi": [],
            "bin": "..",
            "bin-runtime": "..",
            "srcmap": "..",
            "srcmap-runtime": ".."
        }
    }
}

Requirements

• Embark 4.0.0 or higher