search

nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
295 stars 61 forks source link

The "freeze_support()" line can be omitted if the program #79

Open hyue0768 opened 1 year ago

hyue0768 commented 1 year ago

I ran the code but encountered several problems, may I ask if anyone has encountered this problem?

  1. This probably means that you are not using fork to start your child processes and you have forgotten to use the proper idiom in the main module: if name == 'main': freeze_support() ... The "freeze_support()" line can be omitted if the program is not going to be frozen to produce an executable.
  2. Traceback (most recent call last): File "/Users/a/Downloads/gigahorse-toolchain/souffle-addon/../gigahorse.py", line 673, in open(get_souffle_executable_path(compile_args[0]), 'r') # check program exists FileNotFoundError: [Errno 2] No such file or directory: '/Users/a/Downloads/gigahorse-toolchain/cache/main.dl_compiled'
iliastsa commented 1 year ago

Hi @hyue0768 ! Given the file path you've posted, I guess you are using a Mac. Unfortunately, our Mac support isn't great and has been a pain point in the past.

What Mac do you have, M1 or Intel?

hyue0768 commented 1 year ago

Hi @hyue0768 ! Given the file path you've posted, I guess you are using a Mac. Unfortunately, our Mac support isn't great and has been a pain point in the past.

What Mac do you have, M1 or Intel?

Thank you for your reply. My macbook is Macbook Pro 2017, Intel Core

iliastsa commented 1 year ago

We do have pre-built docker images that one can use, but I haven't tested them on mac. Try doing the following:

The current Docker installation and invocation process assumes that you can run Docker without sudo (either you have non-root Docker installed, or have the required permissions to invoke Docker without sudo).