[Docker] securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution

[enderphan94]

It happens with docker version

command: 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