securify2

securify2 copied to clipboard

A list of command line options can help to demonstrate the features of this tool for prospective users who want this information without building the docker file. I do not...

sirhashalot

When does it support 0.8 0 version?

coinsccg

Hey All, I am building the docker and changed my dockerfile solidity version to 0.8.2 and when I run it, once it his step 20/21 the build crashes with the...

naftalirose

The range of pragma versions it currently supports?

3

So the tool just supports those contracts that have pragma versions

enderphan94

Error building dockerfile using solc 0.7.4

4

in Dockerfile: ``` ARG SOLC=0.7.4 ``` **Error message:** ``` Step 18/21 : 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 9adeb4f73d41 Removing intermediate container...

0xKurt

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

2

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

descartes2100

Environment variable LD_LIBRARY_PATH not set. Setting it up... ['souffle', '--fact-dir=/home/sam/ethereum-security/securify2/securify/staticanalysis/facts_in', '--output-dir=/home/sam/ethereum-security/securify2/securify/staticanalysis/facts_out', '--jobs=auto', '/home/sam/ethereum-security/securify2/securify/staticanalysis/souffle_analysis/analysis.dl'] Traceback (most recent call last): File "/home/sam/.local/bin/securify", line 11, in load_entry_point('securify', 'console_scripts', 'securify')() File "/home/sam/ethereum-security/securify2/securify/__main__.py", line 268,...

sujeetc

securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution

3

ENVIRONMENT: solc version: 0.5.16 python version: 3.7.5 souffle version: 1.6.2 os: ubuntu 18.04 ERROR: (venv) test@ubuntu:~$ securify Jump.sol libfunctors.so not compiled. Compiling it now... Executable not found. Compiling it now....

supuo

It happens with docker version command: `sudo docker run -it -v /Users/home/test:/share securify /share/test.sol` ``` Traceback (most recent call last): File "securify/__main__.py", line 286, in main() File "securify/__main__.py", line 277,...

enderphan94

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

EliezerAlmogZaffrani