root@c7126437f8be:/oyente/oyente# python oyente.py -s koe.sol -b
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:symExec:   ============ Results ===========
INFO:symExec:     EVM Code Coverage:                     2.4%
INFO:symExec:     Callstack Depth Attack Vulnerability:  True
INFO:symExec:     Transaction-Ordering Dependence (TOD): False
INFO:symExec:     Timestamp Dependency:                  False
INFO:symExec:     Re-Entrancy Vulnerability:             False
INFO:symExec:   ====== Analysis Completed ======
root@c7126437f8be:/oyente/oyente# cat koe.sol
608060405234801561001057600080fd5b506040516106f33803806106f38339818101604052810190610032919061009c565b80600281905550336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600181905550506100e6565b600081519050610096816100cf565b92915050565b6000602082840312156100ae57600080fd5b60006100bc84828501610087565b91505092915050565b6000819050919050565b6100d8816100c5565b81146100e357600080fd5b50565b6105fe806100f56000396000f3fe60806040526004361061003f5760003560e01c80636708cc6314610044578063cc181ca81461004e578063d53d23d714610079578063e520fc7e146100a4575b600080fd5b61004c6100cf565b005b34801561005a57600080fd5b50610063610317565b60405161007091906103ab565b60405180910390f35b34801561008557600080fd5b5061008e61033b565b60405161009b919061042f565b60405180910390f35b3480156100b057600080fd5b506100b9610341565b6040516100c6919061042f565b60405180910390f35b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141561015e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610155906103ef565b60405180910390fd5b600254606461016d919061045b565b60015461017a91906104b1565b60643461018791906104b1565b116101c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101be9061040f565b60405180910390fd5b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146102735760008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc6001549081150290604051600060405180830381858888f19350505050505b336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550346001819055507f63ea6e44e60fc591b95af6fb21146b2cd7815b93a09283200daca3105c640a9e60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660015460405161030d9291906103c6565b60405180910390a1565b60008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b60015481565b6103508161050b565b82525050565b600061036360198361044a565b915061036e82610576565b602082019050919050565b600061038660168361044a565b91506103918261059f565b602082019050919050565b6103a58161053d565b82525050565b60006020820190506103c06000830184610347565b92915050565b60006040820190506103db6000830185610347565b6103e8602083018461039c565b9392505050565b6000602082019050818103600083015261040881610356565b9050919050565b6000602082019050818103600083015261042881610379565b9050919050565b6000602082019050610444600083018461039c565b92915050565b600082825260208201905092915050565b60006104668261053d565b91506104718361053d565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156104a6576104a5610547565b5b828201905092915050565b60006104bc8261053d565b91506104c78361053d565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0483118215151615610500576104ff610547565b5b828202905092915050565b60006105168261051d565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f596f752061726520616c726561647920746865206b696e672e00000000000000600082015250565b7f4e6f7420656e6f756768206d6f6e65792073656e742e0000000000000000000060008201525056fea2646970667358221220c14c16d9e7db698a7003891a306cd92f672027e4670f6d39822bfc3164a990ea64736f6c63430008040033root@c7126437f8be:/oyente/oyente# cat koe.python oyente.py -s koe.sol -b
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:symExec:   ============ Results ===========
INFO:symExec:     EVM Code Coverage:                     2.4%
INFO:symExec:     Callstack Depth Attack Vulnerability:  True
INFO:symExec:     Transaction-Ordering Dependence (TOD): False
INFO:symExec:     Timestamp Dependency:                  False
INFO:symExec:     Re-Entrancy Vulnerability:             False
INFO:symExec:   ====== Analysis Completed ======