Result of oyente on Contract.sol

output

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.4, The latest supported version is 0.4.19
incomplete push instruction at 3101
INFO:root:contract ./contracts/i.sol:Ballot:
INFO:symExec:	============ Results ===========
INFO:symExec:	  EVM Code Coverage: 			 93.3%
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/i.sol:119:9: Warning: Integer Overflow.
        sender.voted
./contracts/i.sol:120:9: Warning: Integer Overflow.
        sender.vote
./contracts/i.sol:125:9: Warning: Integer Overflow.
        proposals[proposal]
Integer Overflow occurs if:
    proposals[proposal] = 4205733132940862763758270661366577869329372513325188981110745475928535196271
    proposal = 3979575845928467160347285250979926262273413907725809453446099863131357045358
./contracts/i.sol:125:9: Warning: Integer Overflow.
        proposals[proposal].voteCount
Integer Overflow occurs if:
    proposals[proposal] = 27606985387162255149739023449108101809804435888681546220650096895197186
    proposal = 27606985387162255149739023449108101809804435888681546220650096895197184
./contracts/i.sol:125:9: Warning: Integer Overflow.
        proposals[proposal].voteCount += sender.weight
Integer Overflow occurs if:
    proposals[proposal].voteCount = 65133188557874354499348208657373103265963001426062105726763839282275763401091
    proposals[proposal] = 27606985387162255149739023449108101809804435888681546220650096895197186
    proposal = 0
./contracts/i.sol:28:5: Warning: Integer Overflow.
    Proposal[] public proposals
./contracts/i.sol:99:9: Warning: Integer Overflow.
        sender.voted
Integer Overflow occurs if:
    voters[to].delegate = 0
    to = 1237940039285380274899124224
./contracts/i.sol:100:9: Warning: Integer Overflow.
        sender.delegate
Integer Overflow occurs if:
    voters[to].delegate = 0
    to = 649037107316853453566312041152512
./contracts/i.sol:102:13: Warning: Integer Overflow.
        if (delegate_.voted
Integer Overflow occurs if:
    voters[to].delegate = 0
    to = 562949953421312
./contracts/i.sol:109:13: Warning: Integer Overflow.
            delegate_.weight += sender.weight
Integer Overflow occurs if:
    voters[to].delegate = 0
    to = 87112285931760246646623899502532662132736
./contracts/i.sol:105:23: Warning: Integer Overflow.
            proposals[delegate_.vote
Integer Overflow occurs if:
    voters[to].delegate = 8
    to = 87112285931760246646623899502532662132736
./contracts/i.sol:105:13: Warning: Integer Overflow.
            proposals[delegate_.vote]
Integer Overflow occurs if:
    voters[to].delegate = 4835703278458516698824704
    voters[to].delegate = 2361183241434822606848
    voters[to].delegate = 166153499473114484112975882535043072
    voters[to].delegate = 8
    to = 1393796574908163946345982392040522594123776
    proposals[delegate_.vote] = 32580689249752153048830109620391234054344377804526863709138199040212786359483
./contracts/i.sol:135:17: Warning: Integer Overflow.
            if (proposals[p].voteCount
Integer Overflow occurs if:
    proposals.length = 633825300114114700748351602688
./contracts/i.sol:135:17: Warning: Integer Overflow.
            if (proposals[p]
Integer Overflow occurs if:
    proposals.length = 365375409332725729550921208179070754913983135745
    proposals[p].voteCount = 0
./contracts/i.sol:136:36: Warning: Integer Overflow.
                winningVoteCount = proposals[p]
Integer Overflow occurs if:
    proposals[p].voteCount = 0
    proposals[p].voteCount = 0
    proposals[p].voteCount = 262144
    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 = 174224571863520493293247799005065324265482
    proposals[p].voteCount = 0
./contracts/i.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 = 262144
    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 = 174224571863520493293247799005065324265482
    proposals[p].voteCount = 0
./contracts/i.sol:25:5: Warning: Integer Overflow.
    mapping(address => Voter) public voters
INFO:symExec:	====== Analysis Completed ======