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()
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"; ^--------------------------------------^
- Type: Warning
- Contract: ReentrancyAttack
- Function name:
callSender(bytes4)
- PC address: 377
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
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"; ^-------------------------------------------^
- Type: Warning
- Contract: ForceEther
- Function name:
destroyAndSend(address)
- PC address: 156
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
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"; ^------------------------------------------^
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"; ^---------------------------------------^
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)
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)
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)
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)
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"; ^------------------------^
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)
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)
The analysis was completed successfully. No issues were detected.
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)
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)
The analysis was completed successfully. No issues were detected.
The analysis was completed successfully. No issues were detected.
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"; ^--------------------------------^