eth-sri / securify2

Securify v2.0
Apache License 2.0
579 stars 133 forks source link

error that tells "File not found" #34

Open ProgramFilesx86 opened 2 years ago

ProgramFilesx86 commented 2 years ago

Hello everyone,

I hope you're doing good,

Whenever I try to execute Securify it gives me back that error :

libfunctors.so not compiled. Compiling it now...
'.' is not recognized as an internal or external command,
operable program or batch file.
Environment variable LD_LIBRARY_PATH not set. Setting it up...
Traceback (most recent call last):
  File "C:\Python310\Scripts\securify-script.py", line 33, in <module>
    sys.exit(load_entry_point('securify', 'console_scripts', 'securify')())
  File "c:\users\ffthe\onedrive\desktop\securify2-master\securify2-master\securify\__main__.py", line 246, in main
    contract = fix_pragma(contract)
  File "c:\users\ffthe\onedrive\desktop\securify2-master\securify2-master\securify\__main__.py", line 200, in fix_pragma
    installed_version = compiler_version()
  File "c:\users\ffthe\onedrive\desktop\securify2-master\securify2-master\securify\solidity\solidity_ast_compiler.py", line 43, in compiler_version
    version = get_solc_version_string()
  File "C:\Python310\lib\site-packages\solc\main.py", line 35, in get_solc_version_string
    stdoutdata, stderrdata, command, proc = solc_wrapper(**kwargs)
  File "C:\Python310\lib\site-packages\solc\utils\string.py", line 85, in inner
    return force_obj_to_text(fn(*args, **kwargs))
  File "C:\Python310\lib\site-packages\solc\wrapper.py", line 156, in solc_wrapper
    proc = subprocess.Popen(command,
  File "C:\Python310\lib\subprocess.py", line 966, in __init__
    self._execute_child(args, executable, preexec_fn, close_fds,
  File "C:\Python310\lib\subprocess.py", line 1435, in _execute_child
    hp, ht, pid, tid = _winapi.CreateProcess(executable, args,
FileNotFoundError: [WinError 2] The system cannot find the file specified

even though the file exists, and I run the script for multiple cases on the targeted file like:

...etc

I'm using the latest Python version and windows 10 (Ran on administrator and non-administrator privilege)

is there anyone had the same error or if there's some known fix please tell me so, (If searched and tried but none worked)

and thanks in advance