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

eth-sri / securify2

Securify v2.0

Apache License 2.0

579 stars 133 forks source link

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

Open descartes2100 opened 2 years ago

descartes2100 commented 2 years ago

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

simon-perriard commented 2 years ago

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

andyoulovexy commented 2 years ago

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?