securify2
securify2 copied to clipboard
eth-sri
Securify v2.0
I am running securify2 on Ubuntu 22. Installed dependencies, python3.7 and followed the installation instructions (not using docker). ``` $ securify -b 0x3b1417C1f204607DEdA4767929497256e4ff540C --key ~/.local/api_key.txt Traceback (most recent call last):...
_**what is the latest version of Solidity that is supported and is 0.7 on the horizon?**_ i get this error when running on 0.7 Sol File "/mnt/c/Users/rfakhour/Ubuntu/securify2/venv/bin/securify", line 11, in...
The code in the repo needs reformations and cleaning in many areas. And in some cases, many features are written in one file. Please follow modular coding. The main.py under...
Hello, I am trying to use Securify on a smart contracts of 0.8.9 version, but the tool continues to give me the following error: securify.grammar.GrammarError: Symbol 'UncheckedBlock' not found in...
The docker build fails every time on this command. ```bash RUN apt-get update && apt-get install -y software-properties-common locales ``` ### Error ```bash E: Failed to fetch http://archive.ubuntu.com/ubuntu/pool/main/i/icu/libicu60_60.2-3ubuntu3_amd64.deb Connection failed...
I got this error when analyzing the following contract with solidity version `0.5.16`. Is it because the solidity grammar in security is outdated? How can I fix this? ```sol //...
Environment: **solc**Version: 0.8.11+commit.d7f03943.Darwin.appleclang **souffle** version 2.2 When securify ./securify/staticanalysis/testContract.sol get such errors: > pragma directive defines a prior version to 0.8.11. Changing pragma version to 0.8.11.... > Traceback (most recent...
Hello everyone, I hope you're doing good, Whenever I try to execute Securify it gives me back that error : ``` libfunctors.so not compiled. Compiling it now... '.' is not...
``` Traceback (most recent call last): File "/sec/securify/grammar/attributes/evaluators/evaluator_demand_iterative.py", line 53, in evaluate result = super()._execute_rule(rule, arguments) File "/sec/securify/grammar/attributes/evaluators/evaluator_base.py", line 42, in _execute_rule return rule.func(**{name: node for name, node in arguments.items()})...
Error: Atom's argument type is not a subtype of its declared type in file locked-ether.dl at line 15 contractCompliance(contract, matchComment) :- -----------------------^--------------------------- The argument's declared type is Contract in file...
