You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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?
The text was updated successfully, but these errors were encountered:
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?
The text was updated successfully, but these errors were encountered: