TestResult1

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
INFO:symExec:	  Transaction-Ordering Dependence (TOD): False
INFO:symExec:	  Timestamp Dependency: 		 False
INFO:symExec:	  Re-Entrancy Vulnerability: 		 False
INFO:symExec:./contracts/1.sol:119:9: Warning: Integer Overflow.
        sender.voted
./contracts/1.sol:120:9: Warning: Integer Overflow.
        sender.vote
./contracts/1.sol:125:9: Warning: Integer Overflow.
        proposals[proposal]
Integer Overflow occurs if:
    proposals[proposal] = 46432184780319592204082033983666498216297944611356987648067454032853331242940
    proposal = 31049874589941717744884863818377666722237792677637608268259818513394509313460
./contracts/1.sol:125:9: Warning: Integer Overflow.
        proposals[proposal].voteCount
Integer Overflow occurs if:
    proposals[proposal] = 46432295208261141254837144004507863534195706914391193004803085078939120857020
    proposal = 31050095445824815444660572795312828472542794198415368351180332159867879716276
./contracts/1.sol:28:5: Warning: Integer Overflow.
    Proposal[] public proposals
./contracts/1.sol:99:9: Warning: Integer Overflow.
        sender.voted
Integer Overflow occurs if:
    voters[to].delegate = 0
    to = 0
./contracts/1.sol:100:9: Warning: Integer Overflow.
        sender.delegate
Integer Overflow occurs if:
    voters[to].delegate = 0
    to = 0
./contracts/1.sol:102:13: Warning: Integer Overflow.
        if (delegate_.voted
Integer Overflow occurs if:
    voters[to].delegate = 0
    to = 0
./contracts/1.sol:109:13: Warning: Integer Overflow.
            delegate_.weight += sender.weight
Integer Overflow occurs if:
    voters[to].delegate = 0
    to = 0
./contracts/1.sol:105:23: Warning: Integer Overflow.
            proposals[delegate_.vote
Integer Overflow occurs if:
    voters[to].delegate = 64
    to = 0
./contracts/1.sol:105:13: Warning: Integer Overflow.
            proposals[delegate_.vote]
Integer Overflow occurs if:
    voters[to].delegate = 1073741824
    to = 0
    voters[to].delegate = 64
    proposals[delegate_.vote] = 45664190769152335669382274859980799175473944085917844911227383334560319443457
./contracts/1.sol:135:17: Warning: Integer Overflow.
            if (proposals[p].voteCount
Integer Overflow occurs if:
    proposals.length = 87112285931760246646623899502532662132736
./contracts/1.sol:135:17: Warning: Integer Overflow.
            if (proposals[p]
Integer Overflow occurs if:
    proposals.length = 5316911983139663491615228241121378305
    proposals[p].voteCount = 0
./contracts/1.sol:136:36: Warning: Integer Overflow.
                winningVoteCount = proposals[p]
Integer Overflow occurs if:
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 524288
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals.length = 11
    proposals[p].voteCount = 0
./contracts/1.sol:136:36: Warning: Integer Overflow.
                winningVoteCount = proposals[p].voteCount
Integer Overflow occurs if:
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 524288
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals.length = 11
    proposals[p].voteCount = 0
./contracts/1.sol:25:5: Warning: Integer Overflow.
    mapping(address => Voter) public voters
INFO:symExec:	====== Analysis Completed ======