EliezerAlmogZaffrani issues

Repositories
Issues
Comments

Results 2 issues of


                                            EliezerAlmogZaffrani

Error during Docker build command

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...

An issue to run the analyzer

Hi Kevin, The program did not run for me. I get a message " Progress: 124/137 -- While building package zlib-0.6.1.2 using: /home/ubuntu/.stack/setup …. library: * Missing (or bad) header...