Giters
eth-sri
/
securify2
Securify v2.0
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
573
Watchers:
25
Issues:
37
Forks:
132
eth-sri/securify2 Issues
is this project dead? only support solidity <= 6.0?
Updated
3 months ago
Comments count
1
Error building dockerfile using solc 0.7.4
Updated
9 months ago
Comments count
4
Error: Atom's argument type is not a subtype of its declared type
Updated
a year ago
Comments count
3
securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution:
Closed
3 years ago
Comments count
3
Question: Is the tool unable to analyze bytecode?
Updated
a year ago
Need reformations and cleaning of the code
Updated
2 years ago
Use Local Memory Type Variable Instead of Global Storage Type Variable in Event to Save Gas
Updated
2 years ago
support for Solidity 0.7
Updated
2 years ago
Comments count
3
Securify Grammar Error
Updated
2 years ago
Comments count
1
Docker Build fails on Ubuntu 20.0
Updated
2 years ago
Comments count
4
Got KeyError: StateVariableLoad when analyzing contracts
Updated
2 years ago
Error during testContract.sol analyzing
Updated
2 years ago
error that tells "File not found"
Updated
2 years ago
Error on check sol with docker
Updated
2 years ago
When I use security --list the following error occurred
Updated
2 years ago
Comments count
1
When does it support 0.8 0 version?
Updated
2 years ago
ErrorDefinition not found in grammer
Updated
3 years ago
The range of pragma versions it currently supports?
Updated
3 years ago
Comments count
3
I am running "docker build -t securify" command on windows. But I am getting error.
Updated
3 years ago
Comments count
2
I can't use Securify. ERROR: No such file or directory: 'souffle'. I have installed souffle and all other dependencies. Can anyone help?
Updated
3 years ago
securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution
Updated
3 years ago
Comments count
3
[Docker] securify.staticanalysis.souffle.exceptions.SouffleError: Error during souffle execution
Updated
3 years ago
Does the docker version of securify2 only support the analysis of contracts developed with solidity 0.5.12
Closed
3 years ago
Comments count
3
Error during Docker build command
Updated
4 years ago
website is down
Updated
4 years ago
What does Securify need the solc compiler for?
Closed
4 years ago
Comments count
2
Does securify analyse all contracts in a contract file?
Updated
4 years ago
Comments count
3
libfunctors.so not compiled error
Updated
4 years ago
Comments count
6
How can I test a byte-code contract file with Securify?
Closed
4 years ago
Comments count
4
Output analysis result in json format
Updated
4 years ago
Error in analyzying smart contract
Updated
4 years ago
Comments count
5
Error loading data: Cannot open fact file balance.facts
Updated
4 years ago
Comments count
1
Can not analyze smart contract due to Souffle
Updated
4 years ago
Comments count
5
securify web version
Updated
4 years ago
Comments count
1
Performance / Tune rules with .plan
Updated
4 years ago
Comments count
2
Smartcontracts with imports don´t work
Updated
4 years ago
Comments count
1
Solidity Compiler Version
Updated
4 years ago
Comments count
1