Mayur1496

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

Mayur1496

pragma solidity ^0.5.5;

library Search {
   function indexOf(uint[] storage self, uint value) public view returns (uint) {
      for (uint i = 0; i < self.length; i++) if (self[i] == value) return i;
      return uint(-1);
   }
}
contract Test {
   uint[] data;

Mayur1496

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.4.24, The latest supported version is 0.4.19
INFO:root:contract ./contracts/4.sol:Reentrance:
INFO:symExec:	============ Results ===========
INFO:symExec:	  EVM Code Coverage: 			 97.0%
INFO:symExec:	  Integer Underflow: 			 False
INFO:symExec:	  Integer Overflow: 			 True
INFO:symExec:	  Parity Multisig Bug 2: 		 False
INFO:symExec:	  Callstack Depth Attack Vulnerability:  False

Mayur1496

pragma solidity ^0.4.19;

contract Reentrance {
    mapping (address => uint) userBalance;
    address public owner;

    function Reentrance() public{
        owner = msg.sender;
    }
   

Mayur1496

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/3.sol:C:
INFO:symExec:	============ Results ===========
INFO:symExec:	  EVM Code Coverage: 			 98.9%
INFO:symExec:	  Integer Underflow: 			 False
INFO:symExec:	  Integer Overflow: 			 False
INFO:symExec:	  Parity Multisig Bug 2: 		 False
INFO:symExec:	  Callstack Depth Attack Vulnerability:  False

Mayur1496

pragma solidity >=0.4.11 <0.6.0;

contract C {
    function f(uint x) public view returns (uint r) {
        assembly {
            r := extcodehash(x)
        }
    }
}

Mayur1496

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

Mayur1496

pragma solidity ^0.5.0;


/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see `ERC20Detailed`.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.

Mayur1496

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.0, The latest supported version is 0.4.19
INFO:root:contract ./contracts/1.sol:Ballot:
INFO:symExec:	============ Results ===========
INFO:symExec:	  EVM Code Coverage: 			 93.0%
INFO:symExec:	  Integer Underflow: 			 False
INFO:symExec:	  Integer Overflow: 			 True
INFO:symExec:	  Parity Multisig Bug 2: 		 False
INFO:symExec:	  Callstack Depth Attack Vulnerability:  False

Mayur1496

pragma solidity >=0.4.22 <0.7.0;

/// @title Voting with delegation.
contract Ballot {
    // This declares a new complex type which will
    // be used for variables later.
    // It will represent a single voter.
    struct Voter {
        uint weight; // weight is accumulated by delegation
        bool voted;  // if true, that person already voted