Skip to content

Instantly share code, notes, and snippets.

@nuevoalex

nuevoalex/oyente_output_assertions

Created April 16, 2018 23:12
Show Gist options
  • Save nuevoalex/6d1f3552cd2f630e2fa916bc03bf6c9e to your computer and use it in GitHub Desktop.
Save nuevoalex/6d1f3552cd2f630e2fa916bc03bf6c9e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
oyente_output_assertions
contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/Time.sol:Time:
============ Results ===========
EVM Code Coverage: 97.9%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/Controller.sol:Controller:
============ Results ===========
EVM Code Coverage: 99.8%
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 /home/alex/Work/augur-core/source/contracts/TimeControlled.sol:TimeControlled:
============ Results ===========
EVM Code Coverage: 96.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/ContractExists.sol:ContractExists:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
============ Results ===========
EVM Code Coverage: 99.5%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Augur.sol:Augur:
============ Results ===========
EVM Code Coverage: 78.3%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/UniverseFactory.sol:UniverseFactory:
============ Results ===========
EVM Code Coverage: 21.8%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/Controller.sol:Controller:
============ Results ===========
EVM Code Coverage: 99.8%
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 /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/TestNetReputationToken.sol:TestNetReputationToken:
============ Results ===========
EVM Code Coverage: 84.2%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/ContractExists.sol:ContractExists:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:ReputationToken:
============ Results ===========
EVM Code Coverage: 83.3%
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
/home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:49:47: Warning: Transaction-Ordering Dependency.
function initialize(IUniverse _universe) public onlyInGoodTimes beforeIn
Flow2
/home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:49:47: Warning: Transaction-Ordering Dependency.
function initialize(IUniverse _universe) public onlyInGoodTimes beforeIn
/home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:242:33: Warning: Assertion Failure.
ERC20 _legacyRepToken = getLegacyRepToken()
Assertion violates when:
isMigratingFromLegacy = 255
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/LegacyReputationToken.sol:LegacyReputationToken:
============ Results ===========
EVM Code Coverage: 99.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/ContractExists.sol:ContractExists:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/MailboxFactory.sol:MailboxFactory:
============ Results ===========
EVM Code Coverage: 20.1%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/FeeTokenFactory.sol:FeeTokenFactory:
============ Results ===========
EVM Code Coverage: 20.1%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/FeeWindowFactory.sol:FeeWindowFactory:
============ Results ===========
EVM Code Coverage: 21.2%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/UniverseFactory.sol:UniverseFactory:
============ Results ===========
EVM Code Coverage: 21.8%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/ReputationTokenFactory.sol:ReputationTokenFactory:
============ Results ===========
EVM Code Coverage: 20.1%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/MapFactory.sol:MapFactory:
============ Results ===========
EVM Code Coverage: 20.1%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
============ Results ===========
EVM Code Coverage: 99.5%
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 /home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:Map:
============ Results ===========
EVM Code Coverage: 99.1%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:51:2: Warning: Transaction-Ordering Dependency.
function getAsAddressOrZero
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:51:2: Warning: Transaction-Ordering Dependency.
function getAsAddressOrZero
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:MarketFactory:
============ Results ===========
EVM Code Coverage: 38.0%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): False
Timestamp Dependency: False
Re-Entrancy Vulnerability: True
Assertion Failure: False
/home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:17:9: Warning: Re-Entrancy Vulnerability.
_market.initialize.value(msg.value)(_universe, _endTime, _feePerEthInWei, _denominationToken, _designatedReporterAddress, _sender, _numOutcomes, _numTicks)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/ShareTokenFactory.sol:ShareTokenFactory:
============ Results ===========
EVM Code Coverage: 21.2%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/DisputeCrowdsourcerFactory.sol:DisputeCrowdsourcerFactory:
============ Results ===========
EVM Code Coverage: 31.2%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/FeeWindowFactory.sol:FeeWindowFactory:
============ Results ===========
EVM Code Coverage: 21.2%
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 /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:MarketFactory:
============ Results ===========
EVM Code Coverage: 38.0%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): False
Timestamp Dependency: False
Re-Entrancy Vulnerability: True
Assertion Failure: False
/home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:17:9: Warning: Re-Entrancy Vulnerability.
_market.initialize.value(msg.value)(_universe, _endTime, _feePerEthInWei, _denominationToken, _designatedReporterAddress, _sender, _numOutcomes, _numTicks)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/ReputationTokenFactory.sol:ReputationTokenFactory:
============ Results ===========
EVM Code Coverage: 20.1%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/Universe.sol:Universe:
============ Results ===========
EVM Code Coverage: 54.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/reporting/Universe.sol:40:54: Warning: Transaction-Ordering Dependency.
mapping (address => uint256) private designatedReportStakeInAttoRep;
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/reporting/Universe.sol:40:54: Warning: Transaction-Ordering Dependency.
mapping (address => uint256) private designatedReportStakeInAttoRep;
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/DisputeCrowdsourcer.sol:DisputeCrowdsourcer:
============ Results ===========
EVM Code Coverage: 75.1%
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
/home/alex/Work/augur-core/source/contracts/reporting/DisputeCrowdsourcer.sol:34:66: Warning: Transaction-Ordering Dependency.
uint256 _feeShare = _cashSupply.mul(_amount).div(_supply);
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/reporting/DisputeCrowdsourcer.sol:34:66: Warning: Transaction-Ordering Dependency.
uint256 _feeShare = _cashSupply.mul(_amount).div(_supply);
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/reporting/DisputeCrowdsourcer.sol:64:36: Warning: Assertion Failure.
uint256 _reputationShare = _reputationSupply.mul(_attotokens).div(_supply)
Assertion violates when:
balances = 0
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
============ Results ===========
EVM Code Coverage: 99.5%
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 /home/alex/Work/augur-core/source/contracts/reporting/RepPriceOracle.sol:RepPriceOracle:
============ Results ===========
EVM Code Coverage: 99.7%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:ReputationToken:
============ Results ===========
EVM Code Coverage: 83.3%
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
/home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:49:47: Warning: Transaction-Ordering Dependency.
function initialize(IUniverse _universe) public onlyInGoodTimes beforeIn
Flow2
/home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:49:47: Warning: Transaction-Ordering Dependency.
function initialize(IUniverse _universe) public onlyInGoodTimes beforeIn
/home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:242:33: Warning: Assertion Failure.
ERC20 _legacyRepToken = getLegacyRepToken()
Assertion violates when:
isMigratingFromLegacy = 255
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/FeeTokenFactory.sol:FeeTokenFactory:
============ Results ===========
EVM Code Coverage: 20.1%
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 /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:MarketFactory:
============ Results ===========
EVM Code Coverage: 38.0%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): False
Timestamp Dependency: False
Re-Entrancy Vulnerability: True
Assertion Failure: False
/home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:17:9: Warning: Re-Entrancy Vulnerability.
_market.initialize.value(msg.value)(_universe, _endTime, _feePerEthInWei, _denominationToken, _designatedReporterAddress, _sender, _numOutcomes, _numTicks)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/RunningAverage.sol:RunningAverage:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/FeeWindow.sol:FeeWindow:
============ Results ===========
EVM Code Coverage: 76.3%
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
/home/alex/Work/augur-core/source/contracts/reporting/FeeWindow.sol:42:99: Warning: Transaction-Ordering Dependency.
function initialize(IUniverse _universe, uint256 _feeWindowId) public onlyInGoodTimes beforeInitialized returns (bool) {
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/reporting/FeeWindow.sol:42:99: Warning: Transaction-Ordering Dependency.
function initialize(IUniverse _universe, uint256 _feeWindowId) public onlyInGoodTimes beforeInitialized returns (bool) {
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/reporting/FeeWindow.sol:156:16: Warning: Assertion Failure.
return reportingGasPrice.currentAverage()
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/factories/DisputeCrowdsourcerFactory.sol:DisputeCrowdsourcerFactory:
============ Results ===========
EVM Code Coverage: 31.2%
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 /home/alex/Work/augur-core/source/contracts/factories/InitialReporterFactory.sol:InitialReporterFactory:
============ Results ===========
EVM Code Coverage: 21.6%
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 /home/alex/Work/augur-core/source/contracts/factories/MailboxFactory.sol:MailboxFactory:
============ Results ===========
EVM Code Coverage: 20.1%
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 /home/alex/Work/augur-core/source/contracts/factories/MapFactory.sol:MapFactory:
============ Results ===========
EVM Code Coverage: 20.1%
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 /home/alex/Work/augur-core/source/contracts/factories/ShareTokenFactory.sol:ShareTokenFactory:
============ Results ===========
EVM Code Coverage: 21.2%
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 /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
============ Results ===========
EVM Code Coverage: 99.5%
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 /home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:Map:
============ Results ===========
EVM Code Coverage: 99.1%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:51:2: Warning: Transaction-Ordering Dependency.
function getAsAddressOrZero
Flow2
/home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:51:2: Warning: Transaction-Ordering Dependency.
function getAsAddressOrZero
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathInt256.sol:SafeMathInt256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:Market:
============ Results ===========
EVM Code Coverage: 46.2%
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
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:42:19: Warning: Transaction-Ordering Dependency.
ICash private cash;
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:42:19: Warning: Transaction-Ordering Dependency.
ICash private cash;
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:371:16: Warning: Assertion Failure.
return getInitialReporter()
Assertion violates when:
participants = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:367:16: Warning: Assertion Failure.
return getInitialReporter()
Assertion violates when:
participants = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:119:45: Warning: Assertion Failure.
IInitialReporter _initialReporter = getInitialReporter()
Assertion violates when:
participants = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:463:16: Warning: Assertion Failure.
return getShareToken(_shadyShareToken.getOutcome())
Assertion violates when:
shareTokens = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:384:16: Warning: Assertion Failure.
return getWinningReportingParticipant()
Assertion violates when:
participants = 0
winningPayoutDistributionHash = 115792089237316195423570985008687907853269984665640564039457584007913129639935
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:176:17: Warning: Assertion Failure.
require(getInitialReporter()
Assertion violates when:
participants = 0
winningPayoutDistributionHash = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:363:16: Warning: Assertion Failure.
return getInitialReporter()
Assertion violates when:
participants = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:282:48: Warning: Assertion Failure.
IInitialReporter _initialParticipant = getInitialReporter()
Assertion violates when:
participants = 0
winningPayoutDistributionHash = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:483:13: Warning: Assertion Failure.
if (isFinalized()
Assertion violates when:
shareTokens = 0
winningPayoutDistributionHash = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:308:48: Warning: Assertion Failure.
IInitialReporter _initialParticipant = getInitialReporter()
Assertion violates when:
participants = 0
winningPayoutDistributionHash = 0
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:405:16: Warning: Assertion Failure.
return getWinningReportingParticipant()
Assertion violates when:
participants = 0
winningPayoutDistributionHash = 115792089237316195423570985008687907853269984665640564039457584007913129639935
/home/alex/Work/augur-core/source/contracts/reporting/Market.sol:484:65: Warning: Assertion Failure.
IReportingParticipant _winningReportingPartcipant = getWinningReportingParticipant()
Assertion violates when:
participants = 0
winningPayoutDistributionHash = 115792089237316195423570985008687907853269984665640564039457584007913129639935
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
============ Results ===========
EVM Code Coverage: 99.5%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/Mailbox.sol:Mailbox:
============ Results ===========
EVM Code Coverage: 97.0%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/FeeToken.sol:FeeToken:
============ Results ===========
EVM Code Coverage: 91.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/reporting/FeeToken.sol:45:15: Warning: Transaction-Ordering Dependency.
controller.getAugur().logFeeTokenMin
Flow2
/home/alex/Work/augur-core/source/contracts/reporting/FeeToken.sol:45:15: Warning: Transaction-Ordering Dependency.
controller.getAugur().logFeeTokenMin
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/CancelOrder.sol:CancelOrder:
============ Results ===========
EVM Code Coverage: 42.3%
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
/home/alex/Work/augur-core/source/contracts/trading/CancelOrder.sol:42:24: Warning: Transaction-Ordering Dependency.
_orders.removeOrder(_orderId);
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/trading/CancelOrder.sol:42:24: Warning: Transaction-Ordering Dependency.
_orders.removeOrder(_orderId);
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/CancelOrder.sol:44:9: Warning: Assertion Failure.
refundOrder(msg.sender, _type, _sharesEscrowed, _moneyEscrowed, _market, _outcome)
Assertion violates when:
_orderId = 115792089237316195423570985008687907853269984665640564039457584007913129639935
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/ICancelOrder.sol:ICancelOrder:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/ClaimTradingProceeds.sol:ClaimTradingProceeds:
============ Results ===========
EVM Code Coverage: 53.9%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/trading/ClaimTradingProceeds.sol:38:45: Warning: Transaction-Ordering Dependency.
(_proceeds, _shareHolderShare, _creatorShare, _reporterShare)
Flow2
/home/alex/Work/augur-core/source/contracts/trading/ClaimTradingProceeds.sol:38:45: Warning: Transaction-Ordering Dependency.
(_proceeds, _shareHolderShare, _creatorShare, _reporterShare)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/IClaimTradingProceeds.sol:IClaimTradingProceeds:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:Trade:
============ Results ===========
EVM Code Coverage: 74.2%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: True
Assertion Failure: True
Flow1
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:29:6: Warning: Transaction-Ordering Dependency.
return _result;
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:29:6: Warning: Transaction-Ordering Dependency.
return _result;
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:61:28: Warning: Re-Entrancy Vulnerability.
bytes32 _orderId = _orders.getBestOrderId(_type, _market, _outcome)
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:20:61: Warning: Re-Entrancy Vulnerability.
function publicBuy(IMarket _market, uint256 _outcome, uint256 _fxpAmount, uint256 _price, bytes32 _betterOrderId, bytes32 _worseOrder
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:64:35: Warning: Re-Entrancy Vulnerability.
uint256 _orderPrice = _orders.getPrice(_orderId)
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:20:47: Warning: Re-Entrancy Vulnerability.
function publicBuy(IMarket _market, uint256 _outcome, uint256 _fxpAmou
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:60:35: Warning: Re-Entrancy Vulnerability.
IOrders _orders = IOrders(controller.lookup("Orders")
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:34:9: Warning: Re-Entrancy Vulnerability.
_market.assertBalances()
/home/alex/Work/augur-core/source/contracts/trading/Trade.sol:59:29: Warning: Assertion Failure.
Order.Types _type = Order.getOrderTradingTypeFromFillerDirection(_direction)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/ShareToken.sol:ShareToken:
============ Results ===========
EVM Code Coverage: 91.4%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/trading/ShareToken.sol:42:134: Warning: Transaction-Ordering Dependency.
function trustedFillOrderTransfer(address _source, address _destination, uint256 _attotokens) public onlyCaller("FillOrder") onlyInGoodTimes afterInitialized r
Flow2
/home/alex/Work/augur-core/source/contracts/trading/ShareToken.sol:42:134: Warning: Transaction-Ordering Dependency.
function trustedFillOrderTransfer(address _source, address _destination, uint256 _attotokens) public onlyCaller("FillOrder") onlyInGoodTimes afterInitialized r
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:CreateOrder:
============ Results ===========
EVM Code Coverage: 36.3%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: True
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:25:111: Warning: Transaction-Ordering Dependency.
Order.Data memory _orderData = Order.create(controller, _creator, _outcome, _type, _attoshares, _displayPrice, _market, _betterOrder
Flow2
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:25:111: Warning: Transaction-Ordering Dependency.
Order.Data memory _orderData = Order.create(controller, _creator, _outcome, _type, _attoshares, _displayPrice, _market, _betterOrder
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:18:20: Warning: Re-Entrancy Vulnerability.
function publicCreateOrder(Order.Types _type, uint256 _attoshares, uint256 _displayPrice, IM
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:19:68: Warning: Re-Entrancy Vulnerability.
bytes32 _result = this.createOrder(msg.sender, _type, _attoshares, _displayPrice
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:18:215: Warning: Re-Entrancy Vulnerability.
function publicCreateOrder(Order.Types _type, uint256 _attoshares, uint256 _displayPrice, IMarket _market, uint256 _outcome, bytes32 _betterOrderId, bytes32 _worseOrderId, bytes32 _tradeGroupId) external payable marketIsLegit(_market)
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:19:103: Warning: Re-Entrancy Vulnerability.
bytes32 _result = this.createOrder(msg.sender, _type, _attoshares, _displayPrice, _market, _outcome, _betterOrderId, _worseOrderId, _tradeGroupId);
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:19:27: Warning: Re-Entrancy Vulnerability.
bytes32 _result = this.createOrder(msg.sender, _type, _attoshares, _displayPrice, _market, _outcome, _betterOrderId, _worseOrderId, _tradeGroupId)
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:18:6: Warning: Re-Entrancy Vulnerability.
function publicCreateOrder(Or
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:20:9: Warning: Re-Entrancy Vulnerability.
_market.assertBalances()
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:20:22: Warning: Re-Entrancy Vulnerability.
_market.assertBalances();
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:18:275: Warning: Re-Entrancy Vulnerability.
function publicCreateOrder(Order.Types _type, uint256 _attoshares, uint256 _displayPrice, IMarket _market, uint256 _outcome, bytes32 _betterOrderId, bytes32 _worseOrderId, bytes32 _tradeGroupId) external payable marketIsLegit(_market) convertToAndFromCash onlyInGoodTimes returns (bytes32) {
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Cash.sol:Cash:
============ Results ===========
EVM Code Coverage: 99.1%
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
/home/alex/Work/augur-core/source/contracts/trading/Cash.sol:47:4: Warning: Transaction-Ordering Dependency.
return true;
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/trading/Cash.sol:47:4: Warning: Transaction-Ordering Dependency.
return true;
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/Cash.sol:46:9: Warning: Assertion Failure.
assert(this.balance >= totalSupply())
Assertion violates when:
_amount = 1
balances = 1
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:CompleteSets:
============ Results ===========
EVM Code Coverage: 80.5%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: True
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:38:34: Warning: Transaction-Ordering Dependency.
require(_augur.trustedTransfer(_denominationToken, _sen
Flow2
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:38:34: Warning: Transaction-Ordering Dependency.
require(_augur.trustedTransfer(_denominationToken, _sen
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:26:9: Warning: Re-Entrancy Vulnerability.
_market.assertBalances()
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:21:43: Warning: Re-Entrancy Vulnerability.
* Buys `_amount` shares of every outcome in the specified market.
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:25:85: Warning: Re-Entrancy Vulnerability.
controller.getAugur().logCompleteSetsPurchased(_market.getUniverse(), _market, msg.sender, _amoun
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:23:159: Warning: Re-Entrancy Vulnerability.
function publicBuyCompleteSets(IMarket _market, uint256 _amount) external marketIsLegit(_market) payable convertToAndFromCash onlyInGoodTimes returns (bool) {
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:26:11: Warning: Re-Entrancy Vulnerability.
_market.assertBalances();
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:25:9: Warning: Re-Entrancy Vulnerability.
controller.getAugur()
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:21:29: Warning: Re-Entrancy Vulnerability.
* Buys `_amount` shares of every outcome in the spe
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:25:9: Warning: Re-Entrancy Vulnerability.
controller.getAugur().logCompleteSetsPurchased(_market.getUniverse(), _market, msg.sender, _amount)
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:25:56: Warning: Re-Entrancy Vulnerability.
controller.getAugur().logCompleteSetsPurchased(_market.getUniverse()
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:30:24: Warning: Re-Entrancy Vulnerability.
function buyCompleteSets(address _sender, IMarket _market, uint256
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:24:9: Warning: Re-Entrancy Vulnerability.
this.buyCompleteSets(msg.sender, _market, _amount)
/home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:24:56: Warning: Re-Entrancy Vulnerability.
this.buyCompleteSets(msg.sender, _market, _amount);
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/OrdersFetcher.sol:OrdersFetcher:
============ Results ===========
EVM Code Coverage: 87.4%
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
/home/alex/Work/augur-core/source/contracts/trading/OrdersFetcher.sol:36:68: Warning: Transaction-Ordering Dependency.
_worseOrderId = _orders.getBetterOrderId(_worseOrderId);
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/trading/OrdersFetcher.sol:36:68: Warning: Transaction-Ordering Dependency.
_worseOrderId = _orders.getBetterOrderId(_worseOrderId);
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/OrdersFetcher.sol:96:21: Warning: Assertion Failure.
return (descendOrderList(_type, _price, _bestOrderId)
Assertion violates when:
_type = 254
_worstOrderId = 0
_bestOrderId = 115792089237316195423570985008687907853269984665640564039457584007913129639935
_worseOrderId = 0
_betterOrderId = 0
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:DirectionExtensions:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:FillOrder:
============ Results ===========
EVM Code Coverage: 23.1%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: True
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:56:19: Warning: Transaction-Ordering Dependency.
Participant creator;
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:17:198: Warning: Transaction-Ordering Dependency.
// CONSIDER: At some point it would probably be a good idea to shift much of the logic from trading contracts into extensions. In particular this means sorting for making and WCL calculcations + order walking for taking.
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:379:27: Warning: Re-Entrancy Vulnerability.
uint256 _result = this.fillOrder(msg.sender, _orderId, _amountFillerWants, _tradeGroupId)
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:17:198: Warning: Re-Entrancy Vulnerability.
// CONSIDER: At some point it would probably be a good idea to shift much of the logic from trading contracts into extensions. In particular this means sorting for making and WCL calculcations + order walking for taking.
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:32:33: Warning: Re-Entrancy Vulnerability.
IShareToken[] shortShareTokens;
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:28:13: Warning: Re-Entrancy Vulnerability.
IMarket market;
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:381:9: Warning: Re-Entrancy Vulnerability.
_market.assertBalances()
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:34:6: Warning: Re-Entrancy Vulnerability.
}
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:17:184: Warning: Re-Entrancy Vulnerability.
// CONSIDER: At some point it would probably be a good idea to shift much of the logic from trading contracts into extensions. In particular this means sorting for making and WCL calculcations + order walking fo
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:380:35: Warning: Re-Entrancy Vulnerability.
IMarket _market = IOrders(controller.lookup("Orders")
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:380:27: Warning: Re-Entrancy Vulnerability.
IMarket _market = IOrders(controller.lookup("Orders")).getMarket(_orderId)
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:38:24: Warning: Re-Entrancy Vulnerability.
uint256 outcome;
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:30:13: Warning: Re-Entrancy Vulnerability.
ICash denominationToken;
^
Spanning multiple lines.
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:Trade:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/TradingEscapeHatch.sol:TradingEscapeHatch:
============ Results ===========
EVM Code Coverage: 52.9%
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 /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
============ Results ===========
EVM Code Coverage: 97.6%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
Flow2
/home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
_target.transfer(this.balance)
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
============ Results ===========
EVM Code Coverage: 97.8%
Parity Multisig Bug 2: False
Callstack Depth Attack Vulnerability: False
Transaction-Ordering Dependence (TOD): True
Timestamp Dependency: False
Re-Entrancy Vulnerability: False
Assertion Failure: False
Flow1
Flow2
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathInt256.sol:SafeMathInt256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:Orders:
============ Results ===========
EVM Code Coverage: 77.5%
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
/home/alex/Work/augur-core/source/contracts/trading/Orders.sol:52:53: Warning: Transaction-Ordering Dependency.
function getOrderCreator(bytes32 _orderId) public view returns (address) {
^
Spanning multiple lines.
Flow2
/home/alex/Work/augur-core/source/contracts/trading/Orders.sol:52:53: Warning: Transaction-Ordering Dependency.
function getOrderCreator(bytes32 _orderId) public view returns (address) {
^
Spanning multiple lines.
/home/alex/Work/augur-core/source/contracts/trading/Orders.sol:85:27: Warning: Assertion Failure.
return worstOrder[getBestOrderWorstOrderHash(_market, _outcome, _type)
Assertion violates when:
_type = 254
/home/alex/Work/augur-core/source/contracts/trading/Orders.sol:149:20: Warning: Assertion Failure.
_orderId = getOrderId(_type, _market, _amount, _price, _sender, block.number, _outcome, _moneyEscrowed, _sharesEscrowed)
Assertion violates when:
_type = 254
_outcome = 18004803423401827660848029348735919068346528269279243844115834335381596143615
/home/alex/Work/augur-core/source/contracts/trading/Orders.sol:225:23: Warning: Assertion Failure.
if (bestOrder[getBestOrderWorstOrderHash(_market, _outcome, _type)
Assertion violates when:
orders = 254
/home/alex/Work/augur-core/source/contracts/trading/Orders.sol:184:34: Warning: Assertion Failure.
uint256 _fillPrice = _order.market.getNumTicks().sub(_order.price)
Assertion violates when:
_tokensFilled = 0
_sharesFilled = 0
_orderId = 115792089237316195423570985008687907853269984665640564039457584007913129639935
/home/alex/Work/augur-core/source/contracts/trading/Orders.sol:81:26: Warning: Assertion Failure.
return bestOrder[getBestOrderWorstOrderHash(_market, _outcome, _type)
Assertion violates when:
_type = 254
====== Analysis Completed ======
contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
============ Results ===========
EVM Code Coverage: 98.7%
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 /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
============ Results ===========
EVM Code Coverage: 100.0%
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 /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
============ Results ===========
EVM Code Coverage: 100.0%
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 ======
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment