Skip to content

Instantly share code, notes, and snippets.

@shanefontaine
Last active October 15, 2018 21:49
Show Gist options
  • Save shanefontaine/9ac76681e32abd3e95574bd951b42a8e to your computer and use it in GitHub Desktop.
Save shanefontaine/9ac76681e32abd3e95574bd951b42a8e to your computer and use it in GitHub Desktop.

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()
            if ext in extensions:
                file = os.path.join(subdir, file)
                if (file != "./.npmignore" and file != "./drafts/.gitkeep"):
                    command = "myth -x " + file + " -o markdown"
                    os.system(command)

if __name__ == '__main__':
    main()

Output

Solc experienced a fatal error (code 1).

./mocks/SignatureBouncerMock.sol:3:1: Error: Source "./drafts/SignatureBouncer.sol" not found: File outside of allowed directories. import "../drafts/SignatureBouncer.sol"; ^--------------------------------------^ ./mocks/SignerRoleMock.sol:3:1: Error: Source "./access/roles/SignerRole.sol" not found: File outside of allowed directories. import "../access/roles/SignerRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/SafeMathMock.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^

Solc experienced a fatal error (code 1).

./mocks/MintedCrowdsaleImpl.sol:3:1: Error: Source "./token/ERC20/ERC20Mintable.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20Mintable.sol"; ^----------------------------------------^ ./mocks/MintedCrowdsaleImpl.sol:4:1: Error: Source "./crowdsale/emission/MintedCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/emission/MintedCrowdsale.sol"; ^-------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/MinterRoleMock.sol:3:1: Error: Source "./access/roles/MinterRole.sol" not found: File outside of allowed directories. import "../access/roles/MinterRole.sol"; ^--------------------------------------^

Analysis results for ./mocks/ReentrancyAttack.sol

Message call to external contract

  • Type: Warning
  • Contract: ReentrancyAttack
  • Function name: callSender(bytes4)
  • PC address: 377

Description

This contract executes a message call to the address of the transaction sender. Generally, it is not recommended to call user-supplied addresses using Solidity's call() construct. Note that attackers might leverage reentrancy attacks to exploit race conditions or manipulate this contract's state. In file: ./mocks/ReentrancyAttack.sol:8

Code

msg.sender.call(abi.encodeWithSelector(data))

Solc experienced a fatal error (code 1).

./mocks/CappedCrowdsaleImpl.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./mocks/CappedCrowdsaleImpl.sol:4:1: Error: Source "./crowdsale/validation/CappedCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/validation/CappedCrowdsale.sol"; ^---------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC20PausableMock.sol:3:1: Error: Source "./token/ERC20/ERC20Pausable.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20Pausable.sol"; ^----------------------------------------^ ./mocks/PauserRoleMock.sol:3:1: Error: Source "./access/roles/PauserRole.sol" not found: File outside of allowed directories. import "../access/roles/PauserRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/SecondaryMock.sol:3:1: Error: Source "./ownership/Secondary.sol" not found: File outside of allowed directories. import "../ownership/Secondary.sol"; ^----------------------------------^

Solc experienced a fatal error (code 1).

./mocks/CounterImpl.sol:3:1: Error: Source "./drafts/Counter.sol" not found: File outside of allowed directories. import "../drafts/Counter.sol"; ^-----------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC165Mock.sol:3:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../introspection/ERC165.sol"; ^-----------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ECDSAMock.sol:4:1: Error: Source "./cryptography/ECDSA.sol" not found: File outside of allowed directories. import "../cryptography/ECDSA.sol"; ^---------------------------------^

Solc experienced a fatal error (code 1).

./mocks/IncreasingPriceCrowdsaleImpl.sol:3:1: Error: Source "./crowdsale/price/IncreasingPriceCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/price/IncreasingPriceCrowdsale.sol"; ^-------------------------------------------------------^ ./mocks/IncreasingPriceCrowdsaleImpl.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^

Solc experienced a fatal error (code 1).

./mocks/PauserRoleMock.sol:3:1: Error: Source "./access/roles/PauserRole.sol" not found: File outside of allowed directories. import "../access/roles/PauserRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/TimedCrowdsaleImpl.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./mocks/TimedCrowdsaleImpl.sol:4:1: Error: Source "./crowdsale/validation/TimedCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/validation/TimedCrowdsale.sol"; ^--------------------------------------------------^

^CTraceback (most recent call last): File "/Users/sh/.virtualenvs/p3_myth/bin/myth", line 11, in sys.exit(main()) File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/interfaces/cli.py", line 218, in main create_timeout=args.create_timeout) File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/mythril.py", line 370, in fire_lasers issues = fire_lasers(sym, modules) File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/analysis/security.py", line 20, in fire_lasers issues += module.execute(statespace) File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/analysis/modules/integer.py", line 34, in execute issues += _check_integer_overflow(statespace, state, node) File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/analysis/modules/integer.py", line 84, in _check_integer_overflow if not _verify_integer_overflow(statespace, node, expr, state, model, constraint, op0, op1): File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/analysis/modules/integer.py", line 103, in _verify_integer_overflow interesting_usages = _search_children(statespace, node, expr, constraint=[constraint], index=node.states.index(state)) File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/analysis/modules/integer.py", line 233, in _search_children taint_result = TaintRunner.execute(statespace, node, state, initial_stack=taint_stack) File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/laser/ethereum/taint_analysis.py", line 111, in execute children = TaintRunner.children(node, statespace, environment, transaction_stack_length) File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/laser/ethereum/taint_analysis.py", line 118, in children direct_children = [statespace.nodes[edge.node_to] for edge in statespace.edges if edge.node_from == node.uid and edge.type != JumpType.Transaction] File "/Users/sh/.virtualenvs/p3_myth/lib/python3.6/site-packages/mythril/laser/ethereum/taint_analysis.py", line 118, in direct_children = [statespace.nodes[edge.node_to] for edge in statespace.edges if edge.node_from == node.uid and edge.type != JumpType.Transaction] KeyboardInterrupt ^CSolc experienced a fatal error (code 1).

./mocks/ReentrancyMock.sol:3:1: Error: Source "./utils/ReentrancyGuard.sol" not found: File outside of allowed directories. import "../utils/ReentrancyGuard.sol"; ^------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC20Mock.sol:3:1: Error: Source "./token/ERC20/ERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20.sol"; ^--------------------------------^

Solc experienced a fatal error (code 1).

./mocks/MerkleProofWrapper.sol:3:1: Error: Source "./cryptography/MerkleProof.sol" not found: File outside of allowed directories. import { MerkleProof } from "../cryptography/MerkleProof.sol"; ^------------------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC721Mock.sol:3:1: Error: Source "./token/ERC721/ERC721.sol" not found: File outside of allowed directories. import "../token/ERC721/ERC721.sol"; ^----------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC20MintableMock.sol:3:1: Error: Source "./token/ERC20/ERC20Mintable.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20Mintable.sol"; ^----------------------------------------^ ./mocks/MinterRoleMock.sol:3:1: Error: Source "./access/roles/MinterRole.sol" not found: File outside of allowed directories. import "../access/roles/MinterRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/PullPaymentMock.sol:4:1: Error: Source "./payment/PullPayment.sol" not found: File outside of allowed directories. import "../payment/PullPayment.sol"; ^----------------------------------^

Solc experienced a fatal error (code 1).

./mocks/PostDeliveryCrowdsaleImpl.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./mocks/PostDeliveryCrowdsaleImpl.sol:4:1: Error: Source "./crowdsale/distribution/PostDeliveryCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/distribution/PostDeliveryCrowdsale.sol"; ^-----------------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/SecureInvariantTargetBounty.sol:6:1: Error: Source "./drafts/BreakInvariantBounty.sol" not found: File outside of allowed directories. import {BreakInvariantBounty, Target} from "../drafts/BreakInvariantBounty.sol"; ^------------------------------------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC721PausableMock.sol:3:1: Error: Source "./token/ERC721/ERC721Pausable.sol" not found: File outside of allowed directories. import "../token/ERC721/ERC721Pausable.sol"; ^------------------------------------------^ ./mocks/PauserRoleMock.sol:3:1: Error: Source "./access/roles/PauserRole.sol" not found: File outside of allowed directories. import "../access/roles/PauserRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC721FullMock.sol:3:1: Error: Source "./token/ERC721/ERC721Full.sol" not found: File outside of allowed directories. import "../token/ERC721/ERC721Full.sol"; ^--------------------------------------^ ./mocks/ERC721FullMock.sol:4:1: Error: Source "./token/ERC721/ERC721Mintable.sol" not found: File outside of allowed directories. import "../token/ERC721/ERC721Mintable.sol"; ^------------------------------------------^ ./mocks/ERC721FullMock.sol:5:1: Error: Source "./token/ERC721/ERC721Burnable.sol" not found: File outside of allowed directories. import "../token/ERC721/ERC721Burnable.sol"; ^------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/InsecureInvariantTargetBounty.sol:6:1: Error: Source "./drafts/BreakInvariantBounty.sol" not found: File outside of allowed directories. import {BreakInvariantBounty, Target} from "../drafts/BreakInvariantBounty.sol"; ^------------------------------------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/AllowanceCrowdsaleImpl.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./mocks/AllowanceCrowdsaleImpl.sol:4:1: Error: Source "./crowdsale/emission/AllowanceCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/emission/AllowanceCrowdsale.sol"; ^----------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/RolesMock.sol:3:1: Error: Source "./access/Roles.sol" not found: File outside of allowed directories. import "../access/Roles.sol"; ^---------------------------^

Solc experienced a fatal error (code 1).

./mocks/IndividuallyCappedCrowdsaleImpl.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./mocks/IndividuallyCappedCrowdsaleImpl.sol:4:1: Error: Source "./crowdsale/validation/IndividuallyCappedCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/validation/IndividuallyCappedCrowdsale.sol"; ^---------------------------------------------------------------^ ./mocks/CapperRoleMock.sol:3:1: Error: Source "./access/roles/CapperRole.sol" not found: File outside of allowed directories. import "../access/roles/CapperRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ConditionalEscrowMock.sol:4:1: Error: Source "./payment/ConditionalEscrow.sol" not found: File outside of allowed directories. import "../payment/ConditionalEscrow.sol"; ^----------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/DetailedERC20Mock.sol:3:1: Error: Source "./token/ERC20/ERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20.sol"; ^--------------------------------^ ./mocks/DetailedERC20Mock.sol:4:1: Error: Source "./token/ERC20/ERC20Detailed.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20Detailed.sol"; ^----------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/SignerRoleMock.sol:3:1: Error: Source "./access/roles/SignerRole.sol" not found: File outside of allowed directories. import "../access/roles/SignerRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/RefundableCrowdsaleImpl.sol:3:1: Error: Source "./token/ERC20/ERC20Mintable.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20Mintable.sol"; ^----------------------------------------^ ./mocks/RefundableCrowdsaleImpl.sol:4:1: Error: Source "./crowdsale/distribution/RefundableCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/distribution/RefundableCrowdsale.sol"; ^---------------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC20BurnableMock.sol:3:1: Error: Source "./token/ERC20/ERC20Burnable.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20Burnable.sol"; ^----------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC165CheckerMock.sol:3:1: Error: Source "./introspection/ERC165Checker.sol" not found: File outside of allowed directories. import "../introspection/ERC165Checker.sol"; ^------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/CapperRoleMock.sol:3:1: Error: Source "./access/roles/CapperRole.sol" not found: File outside of allowed directories. import "../access/roles/CapperRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC20WithMetadataMock.sol:3:1: Error: Source "./token/ERC20/ERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20.sol"; ^--------------------------------^ ./mocks/ERC20WithMetadataMock.sol:4:1: Error: Source "./drafts/ERC1046/TokenMetadata.sol" not found: File outside of allowed directories. import "../drafts/ERC1046/TokenMetadata.sol"; ^-------------------------------------------^

Analysis results for ./mocks/ForceEther.sol

Unchecked SUICIDE

  • Type: Warning
  • Contract: ForceEther
  • Function name: destroyAndSend(address)
  • PC address: 156

Description

The function destroyAndSend(address) executes the SUICIDE instruction. The remaining Ether is sent to an address provided as a function argument. In file: ./mocks/ForceEther.sol:14

Code

selfdestruct(recipient)

Solc experienced a fatal error (code 1).

./mocks/PausableMock.sol:4:1: Error: Source "./lifecycle/Pausable.sol" not found: File outside of allowed directories. import "../lifecycle/Pausable.sol"; ^---------------------------------^ ./mocks/PauserRoleMock.sol:3:1: Error: Source "./access/roles/PauserRole.sol" not found: File outside of allowed directories. import "../access/roles/PauserRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/SafeERC20Helper.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./mocks/SafeERC20Helper.sol:4:1: Error: Source "./token/ERC20/SafeERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/SafeERC20.sol"; ^------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/FinalizableCrowdsaleImpl.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./mocks/FinalizableCrowdsaleImpl.sol:4:1: Error: Source "./crowdsale/distribution/FinalizableCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/distribution/FinalizableCrowdsale.sol"; ^----------------------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC721ReceiverMock.sol:3:1: Error: Source "./token/ERC721/IERC721Receiver.sol" not found: File outside of allowed directories. import "../token/ERC721/IERC721Receiver.sol"; ^-------------------------------------------^

Solc experienced a fatal error (code 1).

./mocks/MathMock.sol:4:1: Error: Source "./math/Math.sol" not found: File outside of allowed directories. import "../math/Math.sol"; ^------------------------^

Solc experienced a fatal error (code 1).

./mocks/ERC721MintableBurnableImpl.sol:3:1: Error: Source "./token/ERC721/ERC721Full.sol" not found: File outside of allowed directories. import "../token/ERC721/ERC721Full.sol"; ^--------------------------------------^ ./mocks/ERC721MintableBurnableImpl.sol:4:1: Error: Source "./token/ERC721/ERC721Mintable.sol" not found: File outside of allowed directories. import "../token/ERC721/ERC721Mintable.sol"; ^------------------------------------------^ ./mocks/ERC721MintableBurnableImpl.sol:5:1: Error: Source "./token/ERC721/ERC721Burnable.sol" not found: File outside of allowed directories. import "../token/ERC721/ERC721Burnable.sol"; ^------------------------------------------^

Analysis results for None

The analysis was completed successfully. No issues were detected.

Solc experienced a fatal error (code 1).

./mocks/ERC165/ERC165InterfacesSupported.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

input files do not contain any valid contracts Solc experienced a fatal error (code 1).

./token/ERC20/ERC20.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC20/ERC20.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC20/ERC20.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC20/ERC20.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC20/ERC20Pausable.sol:4:1: Error: Source "./lifecycle/Pausable.sol" not found: File outside of allowed directories. import "../../lifecycle/Pausable.sol"; ^------------------------------------^ ./token/ERC20/ERC20.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC20/ERC20Mintable.sol:4:1: Error: Source "./access/roles/MinterRole.sol" not found: File outside of allowed directories. import "../../access/roles/MinterRole.sol"; ^-----------------------------------------^ ./token/ERC20/ERC20.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC20/ERC20Mintable.sol:4:1: Error: Source "./access/roles/MinterRole.sol" not found: File outside of allowed directories. import "../../access/roles/MinterRole.sol"; ^-----------------------------------------^ ./token/ERC20/ERC20.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

input files do not contain any valid contracts Solc experienced a fatal error (code 1).

./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC721/ERC721.sol:5:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:6:1: Error: Source "./utils/Address.sol" not found: File outside of allowed directories. import "../../utils/Address.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:7:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/ERC721Enumerable.sol:5:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/ERC721Metadata.sol:5:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC721/ERC721Mintable.sol:4:1: Error: Source "./access/roles/MinterRole.sol" not found: File outside of allowed directories. import "../../access/roles/MinterRole.sol"; ^-----------------------------------------^ ./token/ERC721/ERC721.sol:5:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:6:1: Error: Source "./utils/Address.sol" not found: File outside of allowed directories. import "../../utils/Address.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:7:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/ERC721Enumerable.sol:5:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/ERC721Metadata.sol:5:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

input files do not contain any valid contracts Solc experienced a fatal error (code 1).

./token/ERC721/ERC721Metadata.sol:5:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/ERC721.sol:5:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:6:1: Error: Source "./utils/Address.sol" not found: File outside of allowed directories. import "../../utils/Address.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:7:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC721/ERC721Pausable.sol:4:1: Error: Source "./lifecycle/Pausable.sol" not found: File outside of allowed directories. import "../../lifecycle/Pausable.sol"; ^------------------------------------^ ./token/ERC721/ERC721.sol:5:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:6:1: Error: Source "./utils/Address.sol" not found: File outside of allowed directories. import "../../utils/Address.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:7:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC721/ERC721.sol:5:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:6:1: Error: Source "./utils/Address.sol" not found: File outside of allowed directories. import "../../utils/Address.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:7:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Analysis results for None

The analysis was completed successfully. No issues were detected.

Solc experienced a fatal error (code 1).

./token/ERC721/ERC721Enumerable.sol:5:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/ERC721.sol:5:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:6:1: Error: Source "./utils/Address.sol" not found: File outside of allowed directories. import "../../utils/Address.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:7:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

Solc experienced a fatal error (code 1).

./token/ERC721/ERC721.sol:5:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:6:1: Error: Source "./utils/Address.sol" not found: File outside of allowed directories. import "../../utils/Address.sol"; ^-------------------------------^ ./token/ERC721/ERC721.sol:7:1: Error: Source "./introspection/ERC165.sol" not found: File outside of allowed directories. import "../../introspection/ERC165.sol"; ^--------------------------------------^ ./token/ERC721/IERC721.sol:3:1: Error: Source "./introspection/IERC165.sol" not found: File outside of allowed directories. import "../../introspection/IERC165.sol"; ^---------------------------------------^

WARNING:root:No contract was created during the execution of contract creation Increase the resources for creation execution (--max-depth or --create_timeout)

Analysis results for None

The analysis was completed successfully. No issues were detected.

Solc experienced a fatal error (code 1).

./access/roles/CapperRole.sol:3:1: Error: Source "./access/Roles.sol" not found: File outside of allowed directories. import "../Roles.sol"; ^--------------------^

Solc experienced a fatal error (code 1).

./access/roles/MinterRole.sol:3:1: Error: Source "./access/Roles.sol" not found: File outside of allowed directories. import "../Roles.sol"; ^--------------------^

Solc experienced a fatal error (code 1).

./access/roles/PauserRole.sol:3:1: Error: Source "./access/Roles.sol" not found: File outside of allowed directories. import "../Roles.sol"; ^--------------------^

Solc experienced a fatal error (code 1).

./access/roles/SignerRole.sol:3:1: Error: Source "./access/Roles.sol" not found: File outside of allowed directories. import "../Roles.sol"; ^--------------------^

WARNING:root:No contract was created during the execution of contract creation Increase the resources for creation execution (--max-depth or --create_timeout)

Analysis results for None

The analysis was completed successfully. No issues were detected.

WARNING:root:No contract was created during the execution of contract creation Increase the resources for creation execution (--max-depth or --create_timeout)

Analysis results for None

The analysis was completed successfully. No issues were detected.

Solc experienced a fatal error (code 1).

./payment/Escrow.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^ ./payment/Escrow.sol:4:1: Error: Source "./ownership/Secondary.sol" not found: File outside of allowed directories. import "../ownership/Secondary.sol"; ^----------------------------------^

Solc experienced a fatal error (code 1).

./payment/SplitPayment.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^

Solc experienced a fatal error (code 1).

./payment/Escrow.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^ ./payment/Escrow.sol:4:1: Error: Source "./ownership/Secondary.sol" not found: File outside of allowed directories. import "../ownership/Secondary.sol"; ^----------------------------------^

Solc experienced a fatal error (code 1).

./payment/RefundEscrow.sol:4:1: Error: Source "./ownership/Secondary.sol" not found: File outside of allowed directories. import "../ownership/Secondary.sol"; ^----------------------------------^ ./payment/Escrow.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^ ./payment/Escrow.sol:4:1: Error: Source "./ownership/Secondary.sol" not found: File outside of allowed directories. import "../ownership/Secondary.sol"; ^----------------------------------^

Solc experienced a fatal error (code 1).

./payment/Escrow.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^ ./payment/Escrow.sol:4:1: Error: Source "./ownership/Secondary.sol" not found: File outside of allowed directories. import "../ownership/Secondary.sol"; ^----------------------------------^

Solc experienced a fatal error (code 1).

./drafts/TokenVesting.sol:5:1: Error: Source "./token/ERC20/SafeERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/SafeERC20.sol"; ^------------------------------------^ ./drafts/TokenVesting.sol:6:1: Error: Source "./ownership/Ownable.sol" not found: File outside of allowed directories. import "../ownership/Ownable.sol"; ^--------------------------------^ ./drafts/TokenVesting.sol:7:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^

Solc experienced a fatal error (code 1).

./drafts/BreakInvariantBounty.sol:4:1: Error: Source "./payment/PullPayment.sol" not found: File outside of allowed directories. import "../payment/PullPayment.sol"; ^----------------------------------^ ./drafts/BreakInvariantBounty.sol:5:1: Error: Source "./ownership/Ownable.sol" not found: File outside of allowed directories. import "../ownership/Ownable.sol"; ^--------------------------------^

WARNING:root:No contract was created during the execution of contract creation Increase the resources for creation execution (--max-depth or --create_timeout)

Analysis results for None

The analysis was completed successfully. No issues were detected.

Solc experienced a fatal error (code 1).

./drafts/ERC20Migrator.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./drafts/ERC20Migrator.sol:4:1: Error: Source "./token/ERC20/ERC20Mintable.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20Mintable.sol"; ^----------------------------------------^ ./drafts/ERC20Migrator.sol:5:1: Error: Source "./token/ERC20/SafeERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/SafeERC20.sol"; ^------------------------------------^ ./drafts/ERC20Migrator.sol:6:1: Error: Source "./math/Math.sol" not found: File outside of allowed directories. import "../math/Math.sol"; ^------------------------^

Solc experienced a fatal error (code 1).

./drafts/SignatureBouncer.sol:3:1: Error: Source "./access/roles/SignerRole.sol" not found: File outside of allowed directories. import "../access/roles/SignerRole.sol"; ^--------------------------------------^ ./drafts/SignatureBouncer.sol:4:1: Error: Source "./cryptography/ECDSA.sol" not found: File outside of allowed directories. import "../cryptography/ECDSA.sol"; ^---------------------------------^

Solc experienced a fatal error (code 1).

./drafts/ERC1046/TokenMetadata.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../../token/ERC20/IERC20.sol"; ^------------------------------------^

Solc experienced a fatal error (code 1).

./lifecycle/Pausable.sol:3:1: Error: Source "./access/roles/PauserRole.sol" not found: File outside of allowed directories. import "../access/roles/PauserRole.sol"; ^--------------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/Crowdsale.sol:3:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/IERC20.sol"; ^---------------------------------^ ./crowdsale/Crowdsale.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../math/SafeMath.sol"; ^----------------------------^ ./crowdsale/Crowdsale.sol:5:1: Error: Source "./token/ERC20/SafeERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/SafeERC20.sol"; ^------------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/emission/MintedCrowdsale.sol:3:1: Error: Source "./crowdsale/Crowdsale.sol" not found: File outside of allowed directories. import "../Crowdsale.sol"; ^------------------------^ ./crowdsale/emission/MintedCrowdsale.sol:4:1: Error: Source "./token/ERC20/ERC20Mintable.sol" not found: File outside of allowed directories. import "../../token/ERC20/ERC20Mintable.sol"; ^-------------------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/emission/AllowanceCrowdsale.sol:3:1: Error: Source "./crowdsale/Crowdsale.sol" not found: File outside of allowed directories. import "../Crowdsale.sol"; ^------------------------^ ./crowdsale/emission/AllowanceCrowdsale.sol:4:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../../token/ERC20/IERC20.sol"; ^------------------------------------^ ./crowdsale/emission/AllowanceCrowdsale.sol:5:1: Error: Source "./token/ERC20/SafeERC20.sol" not found: File outside of allowed directories. import "../../token/ERC20/SafeERC20.sol"; ^---------------------------------------^ ./crowdsale/emission/AllowanceCrowdsale.sol:6:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/distribution/RefundableCrowdsale.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./crowdsale/distribution/RefundableCrowdsale.sol:6:1: Error: Source "./payment/RefundEscrow.sol" not found: File outside of allowed directories. import "../../payment/RefundEscrow.sol"; ^--------------------------------------^ ./crowdsale/distribution/FinalizableCrowdsale.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./crowdsale/distribution/FinalizableCrowdsale.sol:4:1: Error: Source "./crowdsale/validation/TimedCrowdsale.sol" not found: File outside of allowed directories. import "../validation/TimedCrowdsale.sol"; ^----------------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/distribution/PostDeliveryCrowdsale.sol:3:1: Error: Source "./crowdsale/validation/TimedCrowdsale.sol" not found: File outside of allowed directories. import "../validation/TimedCrowdsale.sol"; ^----------------------------------------^ ./crowdsale/distribution/PostDeliveryCrowdsale.sol:4:1: Error: Source "./token/ERC20/IERC20.sol" not found: File outside of allowed directories. import "../../token/ERC20/IERC20.sol"; ^------------------------------------^ ./crowdsale/distribution/PostDeliveryCrowdsale.sol:5:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/distribution/FinalizableCrowdsale.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./crowdsale/distribution/FinalizableCrowdsale.sol:4:1: Error: Source "./crowdsale/validation/TimedCrowdsale.sol" not found: File outside of allowed directories. import "../validation/TimedCrowdsale.sol"; ^----------------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/price/IncreasingPriceCrowdsale.sol:3:1: Error: Source "./crowdsale/validation/TimedCrowdsale.sol" not found: File outside of allowed directories. import "../validation/TimedCrowdsale.sol"; ^----------------------------------------^ ./crowdsale/price/IncreasingPriceCrowdsale.sol:4:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/validation/IndividuallyCappedCrowdsale.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./crowdsale/validation/IndividuallyCappedCrowdsale.sol:4:1: Error: Source "./crowdsale/Crowdsale.sol" not found: File outside of allowed directories. import "../Crowdsale.sol"; ^------------------------^ ./crowdsale/validation/IndividuallyCappedCrowdsale.sol:5:1: Error: Source "./access/roles/CapperRole.sol" not found: File outside of allowed directories. import "../../access/roles/CapperRole.sol"; ^-----------------------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/validation/TimedCrowdsale.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./crowdsale/validation/TimedCrowdsale.sol:4:1: Error: Source "./crowdsale/Crowdsale.sol" not found: File outside of allowed directories. import "../Crowdsale.sol"; ^------------------------^

Solc experienced a fatal error (code 1).

./crowdsale/validation/CappedCrowdsale.sol:3:1: Error: Source "./math/SafeMath.sol" not found: File outside of allowed directories. import "../../math/SafeMath.sol"; ^-------------------------------^ ./crowdsale/validation/CappedCrowdsale.sol:4:1: Error: Source "./crowdsale/Crowdsale.sol" not found: File outside of allowed directories. import "../Crowdsale.sol"; ^------------------------^

Analysis results for None

The analysis was completed successfully. No issues were detected.

WARNING:root:No contract was created during the execution of contract creation Increase the resources for creation execution (--max-depth or --create_timeout)

Analysis results for None

The analysis was completed successfully. No issues were detected.

WARNING:root:No contract was created during the execution of contract creation Increase the resources for creation execution (--max-depth or --create_timeout)

Analysis results for None

The analysis was completed successfully. No issues were detected.

Analysis results for None

The analysis was completed successfully. No issues were detected.

input files do not contain any valid contracts WARNING:root:No contract was created during the execution of contract creation Increase the resources for creation execution (--max-depth or --create_timeout)

Analysis results for None

The analysis was completed successfully. No issues were detected.

WARNING:root:No contract was created during the execution of contract creation Increase the resources for creation execution (--max-depth or --create_timeout)

Analysis results for None

The analysis was completed successfully. No issues were detected.

Analysis results for None

The analysis was completed successfully. No issues were detected.

Analysis results for None

The analysis was completed successfully. No issues were detected.

Solc experienced a fatal error (code 1).

./examples/SampleCrowdsale.sol:3:1: Error: Source "./crowdsale/validation/CappedCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/validation/CappedCrowdsale.sol"; ^---------------------------------------------------^ ./examples/SampleCrowdsale.sol:4:1: Error: Source "./crowdsale/distribution/RefundableCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/distribution/RefundableCrowdsale.sol"; ^---------------------------------------------------------^ ./examples/SampleCrowdsale.sol:5:1: Error: Source "./crowdsale/emission/MintedCrowdsale.sol" not found: File outside of allowed directories. import "../crowdsale/emission/MintedCrowdsale.sol"; ^-------------------------------------------------^ ./examples/SampleCrowdsale.sol:6:1: Error: Source "./token/ERC20/ERC20Mintable.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20Mintable.sol"; ^----------------------------------------^

Solc experienced a fatal error (code 1).

./examples/SimpleToken.sol:4:1: Error: Source "./token/ERC20/ERC20.sol" not found: File outside of allowed directories. import "../token/ERC20/ERC20.sol"; ^--------------------------------^

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment