JustPaste.it

% python oyente.py -s ICO.sol -a :(
WARNING:root:You are using evm version 1.8.2. The supported version is 1.7.3
WARNING:root:You are using solc version 0.4.21, The latest supported version is 0.4.19
INFO:root:contract ICO.sol:AppicsICO:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 60.2%
INFO:symExec: Parity Multisig Bug 2: False
INFO:symExec: Callstack Depth Attack Vulnerability: False
INFO:symExec: Transaction-Ordering Dependence (TOD): True
INFO:symExec: Timestamp Dependency: False
INFO:symExec: Re-Entrancy Vulnerability: False
INFO:symExec: Assertion Failure: False
INFO:symExec:Flow1
ICO.sol:546:9: Warning: Transaction-Ordering Dependency.
Company.transfer(this.balance)
Flow2
ICO.sol:546:9: Warning: Transaction-Ordering Dependency.
Company.transfer(this.balance)
INFO:symExec: ====== Analysis Completed ======
INFO:root:contract ICO.sol:AppicsToken:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 100.0%
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: Assertion Failure: True
INFO:symExec:ICO.sol:25:9: Warning: Assertion Failure.
assert(b <= a)
Assertion violates when:
balances = 1446761610292600114788866173012246816753749182893340994963420
_value = 3213876088517980551083926845775069792788538638159033757861888
totalSupply = 3213876088517980551083926845775069792788538638159033757861888
ico = 0
ICO.sol:31:9: Warning: Assertion Failure.
assert(c >= a)
Assertion violates when:
_amount = 44369063854674067291029404066660873444229566625561754964912869797988903417852
balances = 85653202831209899131921273706816539903532775246499202405936884825549521553152
balances = 44369063854674067291029404066660873444229566625561754964912869797988903417852
tokensAreFrozen = 0
INFO:symExec: ====== Analysis Completed ======
INFO:root:contract ICO.sol:SafeMath:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 100.0%
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: Assertion Failure: False
INFO:symExec: ====== Analysis Completed ======
python oyente.py -s ICO.sol -a 58.73s user 0.86s system 98% cpu 1:00.51 total