Why is the compiled file incomplete? about gigahorse-toolchain HOT 4 CLOSED

Hi,
Can you share the console output of gigahorse.py?
Also you can try with souffle 2.3 and see if that makes a difference.
Lastly it looks like the output is for a file named SimpleDAO and not long_running.

from gigahorse-toolchain.

First of all, thank you very much for your reply!
Hi, sifis，I'm sorry. It may be that there is a problem with the compiled bytecode. I tried a file named long_runnig and the result is complete. But I have another question.There are many outputs(.output) A file named detector2.dl, but after running the command(gigahorse-toolchain/gigahorse.py -C detector2.dl examples/long_running.hex) sometimes these outputs are displayed and sometimes not. How can I solve this problem?


Looking forward to your reply！

from gigahorse-toolchain.

Can you show me what gigahorse prints to the console in both cases (when outputs are missing and when they're there)?

from gigahorse-toolchain.

For distinction, all output results start with Vul_, but looking at a file named .temp/long_running/out/ does not have these.

from gigahorse-toolchain.