$ cat demo.hex
600035601c52740100000000000000000000000000000000000000006020526f7fffffffffffffffffffffffffffffff6040527fffffffffffffffffffffffffffffffff8000000000000000000000000000000060605274012a05f1fffffffffffffffffffffffffdabf41c006080527ffffffffffffffffffffffffed5fa0e000000000000000000000000000000000060a0526357de26a460005114156101c15734156100ac57600080fd5b600061014052610140805160200180610180828460006004600a8704601201f16100d557600080fd5b505060206101e0610180516101a060006000545af16100f357600080fd5b60206101c0526101c080600160c052602060c020602082510161012060006002818352015b8261012051602002111561012b5761014d565b61012051602002850151610120518501555b8151600101808352811415610118575b50505050505060018060c052602060c0206001015460008260c052602060c0205480602090131561017d57600080fd5b809190121561018b57600080fd5b606051816020036101000a8304806040519013156101a857600080fd5b80919012156101b657600080fd5b905090509050600255005b6337a7b7d860005114156102925734156101da57600080fd5b60018060c052602060c020610180602082540161012060006002818352015b8261012051602002111561020c5761022e565b61012051850154610120516020028501525b81516001018083528114156101f9575b5050505050506101e0610180516020818352015b60206101e05111156102535761026f565b60006101e0516101a001535b8151600101808352811415610242575b50506020610160526040610180510160206001820306601f8201039050610160f3005b639753198660005114156102b85734156102ab57600080fd5b60025460005260206000f3005b60006000fd
$ python conkas.py demo.hex
Analysing demo.hex...
JUMPDEST instruction should not be reached
Traceback (most recent call last):
File "conkas.py", line 108, in main
traces = sym_exec.execute()
File "/data-hdd/ethereum/tools/conkas/sym_exec/symbolic_executor.py", line 51, in execute
new_traces = self.__sym_exec_traces(traces_to_execute)
File "/data-hdd/ethereum/tools/conkas/sym_exec/symbolic_executor.py", line 64, in __sym_exec_traces
new_blocks = self.__sym_exec_block(block_to_analyse, trace.state)
File "/data-hdd/ethereum/tools/conkas/sym_exec/symbolic_executor.py", line 93, in __sym_exec_block
new_blocks = self.__sym_exec_instruction(instruction, state)
File "/data-hdd/ethereum/tools/conkas/sym_exec/symbolic_executor.py", line 116, in __sym_exec_instruction
return func(instruction, state)
File "/data-hdd/ethereum/tools/conkas/sym_exec/instructions/storage_execution.py", line 225, in inst_jumpdest
raise Exception
Exception
