Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/eth-sri/securify2?tab=readme-ov-file

datalog ethereum security smart-contract solidity static-analysis vulnerability

Last synced: about 6 hours ago
JSON representation

Securify v2.0

Host: GitHub
URL: https://github.com/eth-sri/securify2?tab=readme-ov-file
Owner: eth-sri
License: apache-2.0
Created: 2020-01-22T15:03:58.000Z (about 5 years ago)
Default Branch: master
Last Pushed: 2023-12-03T16:35:10.000Z (about 1 year ago)
Last Synced: 2024-11-08T08:39:45.840Z (3 months ago)
Topics: datalog, ethereum, security, smart-contract, solidity, static-analysis, vulnerability
Language: Solidity
Size: 1010 KB
Stars: 588
Watchers: 26
Forks: 136
Open Issues: 35
Metadata Files:
- Readme: README.md
- License: LICENSE