Skip to content

Instantly share code, notes, and snippets.

@Mayur1496

Mayur1496/TestResult5

Created October 1, 2020 16:06
Show Gist options
  • Save Mayur1496/ca00d55c78335812a39bcac1cf18d552 to your computer and use it in GitHub Desktop.
Save Mayur1496/ca00d55c78335812a39bcac1cf18d552 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
TestResult5
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/5.sol:Search:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 98.7%
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/5.sol:Test:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 99.4%
INFO:symExec: Integer Underflow: False
INFO:symExec: Integer Overflow: True
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:./contracts/5.sol:22:20: Warning: Integer Overflow.
uint index = Search.indexOf(data, value)
INFO:symExec: ====== Analysis Completed ======
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment