Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/eth-sri/securify2
Securify v2.0
https://github.com/eth-sri/securify2
datalog ethereum security smart-contract solidity static-analysis vulnerability
Last synced: 3 months ago
JSON representation
Securify v2.0
- Host: GitHub
- URL: https://github.com/eth-sri/securify2
- Owner: eth-sri
- License: apache-2.0
- Created: 2020-01-22T15:03:58.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2023-12-03T16:35:10.000Z (7 months ago)
- Last Synced: 2024-02-11T06:08:46.324Z (5 months ago)
- Topics: datalog, ethereum, security, smart-contract, solidity, static-analysis, vulnerability
- Language: Solidity
- Size: 1010 KB
- Stars: 558
- Watchers: 24
- Forks: 133
- Open Issues: 35
Lists
- awesome-solidity - eth-sri/securify2 - Tool for analyzing smart contracts for vulnerabilities and insecure coding. (Tools)
- awesome-smart-contract-development - Securify v2.0
- awesome-stars - eth-sri/securify2
- awesome-solidity - eth-sri/securify2 - Tool for analyzing smart contracts for vulnerabilities and insecure coding. (Tools)
- awesome-solidity - eth-sri/securify2 - Tool for analyzing smart contracts for vulnerabilities and insecure coding. (Tools)
- Awesome-Blockchain-Security - link