Ontwikkelaarstools en open source

eth-sri/securify2

Openbare GitHub-repository, voornamelijk in Solidity.

Geïmporteerde vermelding
01 / Wat het doet

Wat het doet

eth-sri/securify2 is een openbare GitHub-repository, voornamelijk in Solidity. De laatst opgeslagen momentopname vermeldt 635 sterren en 141 forks. Onderwerpen: datalog, ethereum, beveiliging, smart contract, solidity, static analysis. Lees de documentatie, licentie en actuele issues voordat je de software gebruikt.

Securify v2.0

Oorspronkelijke projectbeschrijving · GitHub
02 / GITHUB

GitHub-repositories

Sterren
635
Sterren erbij · 7 dagen
+0
Forks
141
Hoofdtaal
Solidity
Repositorylicentie
Apache-2.0
Laatste codepush
25 mei 2025

Populariteit volgt GitHub-sterren. Groei over 7 dagen vereist een volle week lokale metingen. Dit is geen officiële GitHub-trendlijst.

Bronnen en actualiteit

Bronnen en actualiteit

GitHub ↗Bron vernieuwd · 15 okt. 2026

Importvermeldingen linken naar hun bron. Een vermelding helpt ontdekken, maar is geen aanbeveling.

Doorzoek 1Bitcoin

Tools en gidsen

Hub-vermeldingen