conkas
conkas copied to clipboard
PUSH instruction needs 1 arguments but 0 was given
$ cat demo.hex
606060405260e060020a6000350463516aa178811461003c57806377dd0dd6146101aa578063dd62ed3e146101c1578063e1f21c67146101f2575b005b6102fe6004356024356044356000805460e160020a630b4c415702606090815233600160a060020a0390811660645260ff6201000084041660848190529266010000000000009004169063169882ae9060a49060209060448188876161da5a03f1156100025750506040515115905061031b57600160a060020a038086168352600160209081526040808520928716855291905282205483901061031257826001600050600087600160a060020a03168152602001908152602001600020600050600086600160a060020a03168152602001908152602001600020600082828250540392505081905550600260009054906101000a9004600160a060020a0316600160a060020a0316635687f2b88686866040518460e060020a0281526004018084600160a060020a0316815260200183600160a060020a0316815260200182815260200193505050506000604051808303816000876161da5a03f115610002575050506001915050610314565b600254600160a060020a03165b6060908152602090f35b600160a060020a036004358116600090815260016020908152604080832060243594909416835292905220546101b7565b6102fe6004356024356044356000805460e160020a630b4c415702606090815233600160a060020a0390811660645260ff6201000084041660848190529266010000000000009004169063169882ae9060a49060209060448188876161da5a03f1156100025750506040515115905061031b5760408051600160a060020a0380881680865260016020908152848720838a1680895291528487208890556002547f5687f2b800000000000000000000000000000000000000000000000000000000855260048501929092526024840152604483018790529251921691635687f2b8916064818101928792909190829003018183876161da5a03f115610002575050506001915050610314565b604080519115158252519081900360200190f35b505b9392505050565b61000256
$ python conkas.py demo.hex
Analysing demo.hex...
PUSH instruction needs 1 arguments but 0 was given
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/pushes.py", line 16, in inst_push
raise Exception
Exception