Open enderphan94 opened 3 years ago
It happens with docker version
command: sudo docker run -it -v /Users/home/test:/share securify /share/test.sol
sudo docker run -it -v /Users/home/test:/share securify /share/test.sol
Traceback (most recent call last): File "securify/__main__.py", line 286, in <module> main() File "securify/__main__.py", line 277, in main matches.extend(pattern.find_matches()) File "/sec/securify/analyses/patterns/static/static_analysis_patterns.py", line 73, in find_matches static = analysis_context.static_analysis File "/sec/securify/analyses/analysis.py", line 88, in static_analysis self._static = self.config.static_analysis(self) File "securify/__main__.py", line 255, in <lambda> static_analysis=lambda t: static_analysis.analyze_cfg(t.cfg, **souffle_config), File "/sec/securify/staticanalysis/static_analysis.py", line 124, in analyze_cfg souffle_kwargs=kw_args_souffle) File "/sec/securify/staticanalysis/souffle/souffle.py", line 62, in run_souffle **(souffle_kwargs or {})) File "/sec/securify/staticanalysis/souffle/wrapper.py", line 141, in souffle_wrapper stderr_data=codecs.decode(stderrdata), securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution: Error loading data: Cannot open fact file call.facts Error loading data: Cannot open fact file callInfo.facts Error loading data: Cannot open fact file arrayLoad.facts Error loading data: Cannot open fact file arrayPush.facts Error loading data: Cannot open fact file arrayStore.facts Error loading data: Cannot open fact file balance.facts Error loading data: Cannot open fact file builtinFunction.facts Error loading data: Cannot open fact file callGas.facts Error loading data: Cannot open fact file callValue.facts
It happens with docker version
command:
sudo docker run -it -v /Users/home/test:/share securify /share/test.sol