eth-sri/securify2

Securify v2.0

↗ GitHub で開く

スター

633

フォーク

141

言語

Solidity

ライセンス

Apache-2.0

最終プッシュ

1 年前

Solidity security ethereum solidity static-analysis vulnerability smart-contract datalog

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。