Skip to content

Instantly share code, notes, and snippets.

Script

import os
from subprocess import call

def main():
    extensions = ('.sol')
    for subdir, dirs, files in os.walk("."):
        for file in files:
 ext = os.path.splitext(file)[-1].lower()
pragma solidity ^0.4.24;
contract Escrow {
event Deposited(address indexed payee, uint256 weiAmount);
event Withdrawn(address indexed payee, uint256 weiAmount);
mapping(address => uint256) private _deposits;
function depositsOf(address payee) public view returns (uint256) {
@shanefontaine
shanefontaine / marketplace-contracts-mythril.md
Last active September 26, 2018 19:57
Mythril Marketplace Contracts Output

Analysis results for FakeERC20.json

Exception state

  • Type: Informational
  • Contract: FakeERC20
  • Function name: _function_0x23b872dd
  • PC address: 4256

Description