Environment variable LD_LIBRARY_PATH not set. Setting it up...
['souffle', '--fact-dir=/home/sam/ethereum-security/securify2/securify/staticanalysis/facts_in', '--output-dir=/home/sam/ethereum-security/securify2/securify/staticanalysis/facts_out', '--jobs=auto', '/home/sam/ethereum-security/securify2/securify/staticanalysis/souffle_analysis/analysis.dl']
Traceback (most recent call last):
File "/home/sam/.local/bin/securify", line 11, in
load_entry_point('securify', 'console_scripts', 'securify')()
File "/home/sam/ethereum-security/securify2/securify/main.py", line 268, in main
patterns = get_list_of_patterns(context=context,
File "/home/sam/ethereum-security/securify2/securify/main.py", line 15, in get_list_of_patterns
pattern_classes = discover_patterns()
File "/home/sam/ethereum-security/securify2/securify/analyses/analysis.py", line 123, in discover_patterns
patterns.update(c.get())
File "/home/sam/ethereum-security/securify2/securify/analyses/patterns/static/static_analysis_patterns.py", line 16, in get
patterns = cls.list_static_patterns()
File "/home/sam/ethereum-security/securify2/securify/analyses/patterns/static/static_analysis_patterns.py", line 23, in list_static_patterns
patterns = static_analysis.discover_patterns()
File "/home/sam/ethereum-security/securify2/securify/staticanalysis/static_analysis.py", line 68, in discover_patterns
souffle_output, facts_out = souffle.run_souffle(
File "/home/sam/ethereum-security/securify2/securify/staticanalysis/souffle/souffle.py", line 57, in run_souffle
souffle_output = souffle_wrapper(
File "/home/sam/ethereum-security/securify2/securify/staticanalysis/souffle/wrapper.py", line 106, in souffle_wrapper
proc = subprocess.Popen(command,
File "/usr/lib/python3.8/subprocess.py", line 858, in init
self._execute_child(args, executable, preexec_fn, close_fds,
File "/usr/lib/python3.8/subprocess.py", line 1704, in _execute_child
raise child_exception_type(errno_num, err_msg, err_filename)
FileNotFoundError: [Errno 2] No such file or directory: 'souffle'
Environment variable LD_LIBRARY_PATH not set. Setting it up... ['souffle', '--fact-dir=/home/sam/ethereum-security/securify2/securify/staticanalysis/facts_in', '--output-dir=/home/sam/ethereum-security/securify2/securify/staticanalysis/facts_out', '--jobs=auto', '/home/sam/ethereum-security/securify2/securify/staticanalysis/souffle_analysis/analysis.dl'] Traceback (most recent call last): File "/home/sam/.local/bin/securify", line 11, in
load_entry_point('securify', 'console_scripts', 'securify')()
File "/home/sam/ethereum-security/securify2/securify/main.py", line 268, in main
patterns = get_list_of_patterns(context=context,
File "/home/sam/ethereum-security/securify2/securify/main.py", line 15, in get_list_of_patterns
pattern_classes = discover_patterns()
File "/home/sam/ethereum-security/securify2/securify/analyses/analysis.py", line 123, in discover_patterns
patterns.update(c.get())
File "/home/sam/ethereum-security/securify2/securify/analyses/patterns/static/static_analysis_patterns.py", line 16, in get
patterns = cls.list_static_patterns()
File "/home/sam/ethereum-security/securify2/securify/analyses/patterns/static/static_analysis_patterns.py", line 23, in list_static_patterns
patterns = static_analysis.discover_patterns()
File "/home/sam/ethereum-security/securify2/securify/staticanalysis/static_analysis.py", line 68, in discover_patterns
souffle_output, facts_out = souffle.run_souffle(
File "/home/sam/ethereum-security/securify2/securify/staticanalysis/souffle/souffle.py", line 57, in run_souffle
souffle_output = souffle_wrapper(
File "/home/sam/ethereum-security/securify2/securify/staticanalysis/souffle/wrapper.py", line 106, in souffle_wrapper
proc = subprocess.Popen(command,
File "/usr/lib/python3.8/subprocess.py", line 858, in init
self._execute_child(args, executable, preexec_fn, close_fds,
File "/usr/lib/python3.8/subprocess.py", line 1704, in _execute_child
raise child_exception_type(errno_num, err_msg, err_filename)
FileNotFoundError: [Errno 2] No such file or directory: 'souffle'