Created
July 20, 2018 13:11
-
-
Save cryptomental/c5ff857becfeda48c8c0fbb432eeba90 to your computer and use it in GitHub Desktop.
Segfault on Oyente with Z3 4.7.1 against Augur contracts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Sending build context to Docker daemon 19.6MB | |
| Step 1/13 : FROM python:2.7.13 | |
| ---> ac9424878b8f | |
| Step 2/13 : ARG SOLC_VERSION=v0.4.20 | |
| ---> Using cache | |
| ---> 3f78fa58656d | |
| Step 3/13 : RUN wget --quiet --output-document /usr/local/bin/solc https://github.com/ethereum/solidity/releases/download/${SOLC_VERSION}/solc-static-linux && chmod a+x /usr/local/bin/solc | |
| ---> Using cache | |
| ---> 83b1f7bed7b8 | |
| Step 4/13 : RUN apt-get update && apt-get install -y software-properties-common && apt-get install -y unzip | |
| ---> Using cache | |
| ---> d9598fce143c | |
| Step 5/13 : RUN wget --quiet https://github.com/Z3Prover/z3/archive/z3-4.7.1.zip && unzip z3-4.7.1.zip -d /tmp && cd /tmp/z3-z3-4.7.1 && python scripts/mk_make.py --python && cd build && make -j8 && make install | |
| ---> Using cache | |
| ---> 907d8878de43 | |
| Step 6/13 : RUN wget --quiet https://gethstore.blob.core.windows.net/builds/geth-alltools-linux-amd64-1.8.2-b8b9f7f4.tar.gz && tar -xvf geth-alltools-linux-amd64-1.8.2-b8b9f7f4.tar.gz && chmod a+x geth-alltools-linux-amd64-1.8.2-b8b9f7f4/* && mv geth-alltools-linux-amd64-1.8.2-b8b9f7f4/* /usr/bin | |
| ---> Using cache | |
| ---> 8ae22d51b6de | |
| Step 7/13 : WORKDIR /app | |
| ---> Using cache | |
| ---> c16b58b097a8 | |
| Step 8/13 : RUN pip install --upgrade pip setuptools && pip install --upgrade pip-tools && pip install requests | |
| ---> Using cache | |
| ---> 6b705c52f2ee | |
| Step 9/13 : RUN pip install --no-dependencies git+https://github.com/cryptomental/oyente.git@feature/exclude-selected-vulnerabilities | |
| ---> Using cache | |
| ---> f01500531aff | |
| Step 10/13 : COPY source/contracts/ /app/source/contracts/ | |
| ---> Using cache | |
| ---> 61e459481284 | |
| Step 11/13 : COPY source/tools/ /app/source/tools/ | |
| ---> Using cache | |
| ---> e16cd4dff4a4 | |
| Step 12/13 : RUN python source/tools/runOyente.py -p -a | |
| ---> Running in b7dceb982042 | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Time.sol:Time: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controller.sol:Controller: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: True | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| /app/source/contracts/Controller.sol:70:9: Warning: Integer Overflow. | |
| registry[_key] = ContractDetails(_key, _address, _commitHash, _bytecodeHash) | |
| Integer Overflow occurs if: | |
| registry[_key].contractAddress = 0 | |
| owner = 0 | |
| /app/source/contracts/Controller.sol:26:5: Warning: Integer Overflow. | |
| mapping(bytes32 => ContractDetails) public registry | |
| /app/source/contracts/Controller.sol:76:43: Warning: Integer Overflow. | |
| return (_details.contractAddress, _details.commitHash | |
| /app/source/contracts/Controller.sol:76:64: Warning: Integer Overflow. | |
| return (_details.contractAddress, _details.commitHash, _details.bytecodeHash | |
| /app/source/contracts/Controller.sol:76:17: Warning: Integer Overflow. | |
| return (_details.contractAddress | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/LegacyReputationToken.sol:LegacyReputationToken: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.2% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/ContractExists.sol:ContractExists: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controller.sol:Controller: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: True | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| /app/source/contracts/Controller.sol:70:9: Warning: Integer Overflow. | |
| registry[_key] = ContractDetails(_key, _address, _commitHash, _bytecodeHash) | |
| Integer Overflow occurs if: | |
| registry[_key].contractAddress = 0 | |
| owner = 0 | |
| /app/source/contracts/Controller.sol:26:5: Warning: Integer Overflow. | |
| mapping(bytes32 => ContractDetails) public registry | |
| /app/source/contracts/Controller.sol:76:43: Warning: Integer Overflow. | |
| return (_details.contractAddress, _details.commitHash | |
| /app/source/contracts/Controller.sol:76:64: Warning: Integer Overflow. | |
| return (_details.contractAddress, _details.commitHash, _details.bytecodeHash | |
| /app/source/contracts/Controller.sol:76:17: Warning: Integer Overflow. | |
| return (_details.contractAddress | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/TimeControlled.sol:TimeControlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 96.9% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/ContractExists.sol:ContractExists: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Augur.sol:Augur: | |
| ============ Results =========== | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| EVM Code Coverage: 72.1% | |
| Integer Underflow: False | |
| Integer Overflow: True | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| /app/source/contracts/Augur.sol:136:5: Warning: Integer Overflow. | |
| function logInitialReportSubmitted(IUniverse _universe, address _reporter, address _market, uint256 _amountStaked, bool _isDesignatedReporter, uint256[] _payoutNumerators, bool _invalid) public returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _payoutNumerators = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| /app/source/contracts/Augur.sol:164:5: Warning: Integer Overflow. | |
| function logDisputeCrowdsourcerRedeemed(IUniverse _universe, address _reporter, address _market, uint256 _amountRedeemed, uint256 _repReceived, uint256 _reportingFeesReceived, uint256[] _payoutNumerators) public returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _payoutNumerators = 115792089237316195423570985008687907853269984665640564039457584007913129639932 | |
| /app/source/contracts/Augur.sol:121:5: Warning: Integer Overflow. | |
| function logMarketCreated(bytes32 _topic, string _description, string _extraInfo, IUniverse _universe, address _market, address _marketCreator, bytes32[] _outcomes, int256 _minPrice, int256 _maxPrice, IMarket.MarketType _marketType) public returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _description = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| /app/source/contracts/Augur.sol:72:5: Warning: Integer Overflow. | |
| function createChildUniverse(bytes32 _parentPayoutDistributionHash, uint256[] _parentPayoutNumerators, bool _parentInvalid) public returns (IUniverse) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _parentPayoutNumerators = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| /app/source/contracts/Augur.sol:98:5: Warning: Integer Overflow. | |
| function disputeCrowdsourcerCreated(IUniverse _universe, address _market, address _disputeCrowdsourcer, uint256[] _payoutNumerators, uint256 _size, bool _invalid) public returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _payoutNumerators = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| /app/source/contracts/Augur.sol:157:5: Warning: Integer Overflow. | |
| function logInitialReporterRedeemed(IUniverse _universe, address _reporter, address _market, uint256 _amountRedeemed, uint256 _repReceived, uint256 _reportingFeesReceived, uint256[] _payoutNumerators) public returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _payoutNumerators = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| /app/source/contracts/Augur.sol:129:5: Warning: Integer Overflow. | |
| function logMarketCreated(bytes32 _topic, string _description, string _extraInfo, IUniverse _universe, address _market, address _marketCreator, int256 _minPrice, int256 _maxPrice, IMarket.MarketType _marketType) public returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _description = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/factories/UniverseFactory.sol:UniverseFactory: | |
| ============ Results =========== | |
| EVM Code Coverage: 33.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/DelegationTarget.sol:DelegationTarget: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Delegator.sol:Delegator: | |
| ============ Results =========== | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| EVM Code Coverage: 99.0% | |
| Integer Underflow: False | |
| Integer Overflow: True | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| /app/source/contracts/libraries/Delegator.sol:42:30: Warning: Integer Overflow. | |
| mstore(0x40, add(_returndataMemoryOffset, returndatasize) | |
| Integer Overflow occurs if: | |
| controllerLookupName = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/TestNetReputationToken.sol:TestNetReputationToken: | |
| ============ Results =========== | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 890, in sym_exec_ins | |
| if check_sat(solver) == unsat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 890, in sym_exec_ins | |
| if check_sat(solver) == unsat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| EVM Code Coverage: 70.0% | |
| Integer Underflow: True | |
| Integer Overflow: True | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| /app/source/contracts/TestNetReputationToken.sol:26:6713: Warning: Integer Underflow. | |
| } | |
| /app/source/contracts/TestNetReputationToken.sol:26:6969: Warning: Integer Underflow. | |
| } | |
| /app/source/contracts/TestNetReputationToken.sol:26:8310: Warning: Integer Overflow. | |
| } | |
| /app/source/contracts/TestNetReputationToken.sol:26:9903: Warning: Integer Overflow. | |
| } | |
| /app/source/contracts/TestNetReputationToken.sol:26:1255: Warning: Integer Overflow. | |
| } | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/ContractExists.sol:ContractExists: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/DelegationTarget.sol:DelegationTarget: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/reporting/Reporting.sol:Reporting: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/reporting/ReputationToken.sol:ReputationToken: | |
| ============ Results =========== | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 890, in sym_exec_ins | |
| if check_sat(solver) == unsat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| EVM Code Coverage: 68.6% | |
| Integer Underflow: True | |
| Integer Overflow: True | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| /app/source/contracts/reporting/ReputationToken.sol:164:9: Warning: Integer Underflow. | |
| totalTheoreticalSupply -= migratedToSibling[_token] | |
| Integer Underflow occurs if: | |
| migratedToSibling[_token] = 0 | |
| totalTheoreticalSupply = 65965978691870112292487309311845947702813459528657263047918623881727022465023 | |
| _token = 0 | |
| isMigratingFromLegacy = 0 | |
| /app/source/contracts/reporting/ReputationToken.sol:170:9: Warning: Integer Underflow. | |
| totalTheoreticalSupply -= parentTotalTheoreticalSupply | |
| Integer Underflow occurs if: | |
| totalTheoreticalSupply = 0 | |
| parentTotalTheoreticalSupply = 1 | |
| isMigratingFromLegacy = 0 | |
| /app/source/contracts/reporting/ReputationToken.sol:204:5: Warning: Integer Overflow. | |
| function migrateBalancesFromLegacyRep(address[] _holders) public onlyInGoodTimes whenMigratingFromLegacy afterInitialized returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _holders = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| /app/source/contracts/reporting/ReputationToken.sol:241:5: Warning: Integer Overflow. | |
| function migrateAllowancesFromLegacyRep(address[] _owners, address[] _spenders) public onlyInGoodTimes whenMigratingFromLegacy afterInitialized returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _owners = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| /app/source/contracts/reporting/ReputationToken.sol:61:5: Warning: Integer Overflow. | |
| function migrateOutByPayout(uint256[] _payoutNumerators, bool _invalid, uint256 _attotokens) public onlyInGoodTimes whenNotMigratingFromLegacy afterInitialized returns (bool) { | |
| ^ | |
| Spanning multiple lines. | |
| Integer Overflow occurs if: | |
| _payoutNumerators = 115792089237316195423570985008687907853269984665640564039457584007913129639935 | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/DelegationTarget.sol:DelegationTarget: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/ShareToken.sol:ShareToken: | |
| ============ Results =========== | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 890, in sym_exec_ins | |
| if check_sat(solver) == unsat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| EVM Code Coverage: 91.9% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/MarketValidator.sol:MarketValidator: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/reporting/Reporting.sol:Reporting: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/ClaimTradingProceeds.sol:ClaimTradingProceeds: | |
| ============ Results =========== | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 890, in sym_exec_ins | |
| if check_sat(solver) == unsat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| EVM Code Coverage: 48.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/IClaimTradingProceeds.sol:IClaimTradingProceeds: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/DelegationTarget.sol:DelegationTarget: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/MarketValidator.sol:MarketValidator: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/TradingEscapeHatch.sol:TradingEscapeHatch: | |
| ============ Results =========== | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 665, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 1641, in sym_exec_ins | |
| memory.extend([0] * mem_extend) | |
| OverflowError: cannot fit 'long' into an index-sized integer | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 665, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 1641, in sym_exec_ins | |
| memory.extend([0] * mem_extend) | |
| OverflowError: cannot fit 'long' into an index-sized integer | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 687, in sym_exec_block | |
| sym_exec_block(new_params, left_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 660, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 817, in sym_exec_ins | |
| if check_sat(solver) == sat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 665, in sym_exec_block | |
| sym_exec_block(new_params, successor, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 1641, in sym_exec_ins | |
| memory.extend([0] * mem_extend) | |
| OverflowError: cannot fit 'long' into an index-sized integer | |
| EVM Code Coverage: 52.3% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/DelegationTarget.sol:DelegationTarget: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Cash.sol:Cash: | |
| ============ Results =========== | |
| =>>>>>> New PC: [Ia_store-some_var_3-balances[_from] == | |
| Ia_store-some_var_3-balances[_from] + | |
| 115792089237316195423570985008687907853269984665640564039457584007913129639935* | |
| _amount, Ia_store-some_var_3-balances[_from] == | |
| Ia_store-some_var_3-balances[_from] + | |
| 115792089237316195423570985008687907853269984665640564039457584007913129639935* | |
| _amount, Ia_store-2- == | |
| Ia_store-2- + | |
| 115792089237316195423570985008687907853269984665640564039457584007913129639935* | |
| _amount] | |
| Reentrancy_bug? False | |
| =>>>>>> New PC: [Ia_store-some_var_13-balances[_from] == | |
| Ia_store-some_var_13-balances[_from] + | |
| 115792089237316195423570985008687907853269984665640564039457584007913129639935* | |
| _amount, Ia_store-some_var_13-balances[_from] == | |
| Ia_store-some_var_13-balances[_from] + | |
| 115792089237316195423570985008687907853269984665640564039457584007913129639935* | |
| _amount, Ia_store-2- == | |
| Ia_store-2- + | |
| 115792089237316195423570985008687907853269984665640564039457584007913129639935* | |
| _amount] | |
| Reentrancy_bug? False | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 763, in sym_exec_ins | |
| if check_sat(solver, False) != unsat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| Traceback (most recent call last): | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 715, in sym_exec_block | |
| sym_exec_block(new_params, right_branch, block, depth, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 612, in sym_exec_block | |
| sym_exec_ins(params, block, instr, func_call, current_func_name) | |
| File "/usr/local/lib/python2.7/site-packages/oyente/symExec.py", line 763, in sym_exec_ins | |
| if check_sat(solver, False) != unsat: | |
| File "/usr/local/lib/python2.7/site-packages/oyente/utils.py", line 57, in check_sat | |
| raise e | |
| Z3Exception: timeout | |
| =>>>>>> New PC: [Ia_store-some_var_30-balances[msg.sender] == | |
| Ia_store-some_var_30-balances[msg.sender]] | |
| Reentrancy_bug? False | |
| EVM Code Coverage: 97.2% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): True | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: True | |
| Flow1 | |
| /app/source/contracts/trading/Cash.sol:45:9: Warning: Transaction-Ordering Dependency. | |
| _to.transfer(_amount) | |
| Flow2 | |
| /app/source/contracts/trading/Cash.sol:45:9: Warning: Transaction-Ordering Dependency. | |
| _to.transfer(_amount) | |
| /app/source/contracts/trading/Cash.sol:46:9: Warning: Assertion Failure. | |
| assert(this.balance >= totalSupply()) | |
| Assertion Failure occurs if: | |
| _amount = 1 | |
| balances[_from] = 1 | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/Controlled.sol:Controlled: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.5% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/DelegationTarget.sol:DelegationTarget: | |
| ============ Results =========== | |
| EVM Code Coverage: 99.6% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/Initializable.sol:Initializable: | |
| ============ Results =========== | |
| EVM Code Coverage: 98.7% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathInt256.sol:SafeMathInt256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Order.sol:Order: | |
| ============ Results =========== | |
| EVM Code Coverage: 100.0% | |
| Integer Underflow: False | |
| Integer Overflow: False | |
| Parity Multisig Bug 2: False | |
| Callstack Depth Attack Vulnerability: False | |
| Transaction-Ordering Dependence (TOD): False | |
| Timestamp Dependency: False | |
| Re-Entrancy Vulnerability: False | |
| Assertion Failure: False | |
| ====== Analysis Completed ====== | |
| contract /app/source/contracts/trading/Orders.sol:Orders: | |
| ============ Results =========== | |
| Segmentation fault (core dumped) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment