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.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.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.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