Інструменти розробника й відкритий код

eth-sri/securify2

Публічний репозиторій GitHub, переважно мовою Solidity.

Імпортований запис
01 / Для чого це

Для чого це

eth-sri/securify2 — публічний репозиторій GitHub, переважно мовою Solidity. Останній збережений знімок містить такі показники: зірки — 635, форки — 141. Теми: datalog, ethereum, безпека, smart contract, solidity, static analysis. Перед використанням програми прочитай документацію, ліцензію та поточні повідомлення про проблеми.

Securify v2.0

Оригінальний опис проєкту · GitHub
02 / GITHUB

Репозиторії GitHub

Зірки
635
Нові зірки · 7 днів
+0
Форки
141
Основна мова
Solidity
Ліцензія репозиторію
Apache-2.0
Останнє надсилання коду
25 трав. 2025 р.

Популярність за зірками GitHub. Зростання за 7 днів потребує тижня локальних знімків. Це не офіційний рейтинг GitHub.

Джерела й актуальність

Джерела й актуальність

GitHub ↗Джерело оновлено · 15 жовт. 2026 р.

Імпортовані записи посилаються на джерела. Запис допомагає знайти, але не є рекомендацією.

Пошук у 1Bitcoin

Інструменти й посібники

Записи Хабу