Hi,
I tried to run the securify2 code on my ubuntu 18.04 that runs on Virtual Box.
I get an error during a build command:
"
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 4da7e93c4669
failed to compile C++ source <../dl-program.cpp>
The command '/bin/sh -c 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' returned a non-zero code: 1
"
After the last line the build command does not continue to run
How to solve this issue?
Hi, I tried to run the securify2 code on my ubuntu 18.04 that runs on Virtual Box. I get an error during a build command: " 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 4da7e93c4669 failed to compile C++ source <../dl-program.cpp> The command '/bin/sh -c 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' returned a non-zero code: 1 " After the last line the build command does not continue to run How to solve this issue?