Skip to content

Instantly share code, notes, and snippets.

@Mayur1496

Mayur1496/TestResult2

Created October 1, 2020 15:07
Show Gist options
  • Save Mayur1496/0a95be4275e3003469188f37969af950 to your computer and use it in GitHub Desktop.
Save Mayur1496/0a95be4275e3003469188f37969af950 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
TestResult2
WARNING:root:You are using an untested version of z3. 4.5.1 is the officially tested version
WARNING:root:You are using evm version 1.8.16. The supported version is 1.7.3
WARNING:root:You are using solc version 0.5.5, The latest supported version is 0.4.19
INFO:root:contract ./contracts/2.sol:ERC20:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 98.3%
INFO:symExec: Integer Underflow: False
INFO:symExec: Integer Overflow: False
INFO:symExec: Parity Multisig Bug 2: False
INFO:symExec: Callstack Depth Attack Vulnerability: False
INFO:symExec: Transaction-Ordering Dependence (TOD): False
INFO:symExec: Timestamp Dependency: False
INFO:symExec: Re-Entrancy Vulnerability: False
INFO:symExec: ====== Analysis Completed ======
INFO:root:contract ./contracts/2.sol:OutcomeToken:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 98.6%
INFO:symExec: Integer Underflow: False
INFO:symExec: Integer Overflow: False
INFO:symExec: Parity Multisig Bug 2: False
INFO:symExec: Callstack Depth Attack Vulnerability: False
INFO:symExec: Transaction-Ordering Dependence (TOD): False
INFO:symExec: Timestamp Dependency: False
INFO:symExec: Re-Entrancy Vulnerability: False
INFO:symExec: ====== Analysis Completed ======
INFO:root:contract ./contracts/2.sol:OutcomeTokenProxy:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 99.1%
INFO:symExec: Integer Underflow: False
INFO:symExec: Integer Overflow: False
INFO:symExec: Parity Multisig Bug 2: False
INFO:symExec: Callstack Depth Attack Vulnerability: False
INFO:symExec: Transaction-Ordering Dependence (TOD): False
INFO:symExec: Timestamp Dependency: False
INFO:symExec: Re-Entrancy Vulnerability: False
INFO:symExec: ====== Analysis Completed ======
INFO:root:contract ./contracts/2.sol:Proxied:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 98.6%
INFO:symExec: Integer Underflow: False
INFO:symExec: Integer Overflow: False
INFO:symExec: Parity Multisig Bug 2: False
INFO:symExec: Callstack Depth Attack Vulnerability: False
INFO:symExec: Transaction-Ordering Dependence (TOD): False
INFO:symExec: Timestamp Dependency: False
INFO:symExec: Re-Entrancy Vulnerability: False
INFO:symExec: ====== Analysis Completed ======
INFO:root:contract ./contracts/2.sol:Proxy:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 99.1%
INFO:symExec: Integer Underflow: False
INFO:symExec: Integer Overflow: False
INFO:symExec: Parity Multisig Bug 2: False
INFO:symExec: Callstack Depth Attack Vulnerability: False
INFO:symExec: Transaction-Ordering Dependence (TOD): False
INFO:symExec: Timestamp Dependency: False
INFO:symExec: Re-Entrancy Vulnerability: False
INFO:symExec: ====== Analysis Completed ======
INFO:root:contract ./contracts/2.sol:SafeMath:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 100.0%
INFO:symExec: Integer Underflow: False
INFO:symExec: Integer Overflow: False
INFO:symExec: Parity Multisig Bug 2: False
INFO:symExec: Callstack Depth Attack Vulnerability: False
INFO:symExec: Transaction-Ordering Dependence (TOD): False
INFO:symExec: Timestamp Dependency: False
INFO:symExec: Re-Entrancy Vulnerability: False
INFO:symExec: ====== Analysis Completed ======
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment