Entwickler-Tools & Open Source

eth-sri/securify2

Öffentliches GitHub-Repository mit Solidity als Hauptprogrammiersprache.

Importierter Eintrag
01 / Was du damit machen kannst

Was du damit machen kannst

eth-sri/securify2 ist ein öffentliches GitHub-Repository mit Solidity als angegebener Hauptprogrammiersprache. Der letzte gespeicherte Stand meldet 635 Sterne und 141 Forks. Themen: datalog, ethereum, Sicherheit, smart contract, solidity, static analysis. Lies Dokumentation, Lizenz und aktuelle Issues, bevor du die Software nutzt.

Securify v2.0

Originalbeschreibung des Projekts · GitHub
02 / GITHUB

GitHub-Repositories

Sterne
635
Neue Sterne · 7 Tage
—
Forks
141
Hauptprogrammiersprache
Solidity
Repository-Lizenz
Apache-2.0
Letzter Code-Push
25. Mai 2025

Die Beliebtheit basiert auf GitHub-Sternen. Das Wachstum über sieben Tage erscheint nach einer vollständigen Woche gespeicherter Daten. Das ist unsere Sammlung, keine offizielle GitHub-Trending-Liste.

Quellen & Aktualität

Quellen & Aktualität

GitHub ↗Quelle aktualisiert · 9. Okt. 2026

Importierte Einträge verlinken ihre Quellen. Ein Eintrag hilft dir beim Entdecken und ist keine Empfehlung.