securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution

[supuo]

ENVIRONMENT: solc version: 0.5.16 python version: 3.7.5 souffle version: 1.6.2 os: ubuntu 18.04

ERROR: (venv) test@ubuntu:~$ securify Jump.sol libfunctors.so not compiled. Compiling it now... Executable not found. Compiling it now. This might take some time... Traceback (most recent call last): File "/home/test/venv/bin/securify", line 33, in sys.exit(load_entry_point('securify', 'console_scripts', 'securify')()) File "/home/test/securify2/securify/main.py", line 277, in main matches.extend(pattern.find_matches()) File "/home/test/securify2/securify/analyses/patterns/static/static_analysis_patterns.py", line 73, in find_matches static = analysis_context.static_analysis File "/home/test/securify2/securify/analyses/analysis.py", line 88, in static_analysis self._static = self.config.static_analysis(self) File "/home/test/securify2/securify/main.py", line 255, in static_analysis=lambda t: static_analysis.analyze_cfg(t.cfg, **souffle_config), File "/home/test/securify2/securify/staticanalysis/static_analysis.py", line 124, in analyze_cfg souffle_kwargs=kw_args_souffle) File "/home/test/securify2/securify/staticanalysis/souffle/souffle.py", line 62, in run_souffle **(souffle_kwargs or {})) File "/home/test/securify2/securify/staticanalysis/souffle/wrapper.py", line 119, in souffle_wrapper stderr_data=codecs.decode(stderrdata), securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution:

Warning: No rules/facts defined for relation patternIncorrectInequalityPattern.compliantInContext in unknown source location. Warning: Variable comment only occurs once in unknown source location. Warning: Variable ctxString only occurs once in unknown source location. Warning: No rules/facts defined for relation patternUnusedStateVariablePattern.compliance in unknown source location. Warning: Variable callerFunction only occurs once in unknown source location. Warning: Variable callerFunction only occurs once in unknown source location. Warning: Variable callerTransfers only occurs once in unknown source location. Warning: Variable callerTag only occurs once in unknown source location. Warning: Variable thisBlock only occurs once in unknown source location. Warning: No rules/facts defined for relation warnings in unknown source location. terminate called after throwing an instance of 'std::runtime_error' what(): failed to locate souffle-compile

[enderphan94]

Same issue

[qiikaii]

Is there any solution for this?

[enderphan94]

Is there any solution for this?

Just re-installed the whole thing in Ubuntu, still got this issue.

souffle worked, solc worked... still error