I am running "docker build -t securify" command on windows. But I am getting error.

[descartes2100]

I didn't use securify on Windows. Can you help me?

[simon-perriard]

@descartes2100 could you elaborate please ? which command did you run ? what is the error message?

[andyoulovexy]

docker build error:

Step 19/22 : RUN cd /sec/securify/staticanalysis/souffle_analysis && souffle --dl-program=../dl-program --fact-dir=/sec/securify/staticanalysis/facts_in --output-dir=/sec/securify/staticanalysis/facts_out -L../libfunctors -w analysis.dl
---> Running in d304c6691a14
failed to compile C++ source <../dl-program.cpp>

anyone can help me?