JoranHonig

import os
from multiprocessing import Pool, cpu_count

import click
from mythril.mythril import SolidityContract, Report, SymExecWrapper, fire_lasers

import resource


@click.command()

maurelian

{
  "extends": "default",
  "rules": {
    "reentrancy": false,
    "avoid-sha3": false,
    "avoid-suicide": false,
    "avoid-throw": false,
    "func-visibility": false,
    "state-visibility": false,
    "check-send-result": false,