เครื่องมือนักพัฒนาและโอเพนซอร์ส✦โปรไฟล์บรรณาธิการ
btcd
A Bitcoin full-node implementation written in Go.
☆ 6,711 +0 / 7dดูรายละเอียด
เครื่องมือนักพัฒนาและโอเพนซอร์ส
eth-sri/securify2
คลังโค้ด GitHub สาธารณะ โดยใช้ Solidity เป็นภาษาหลัก
ใช้งานอะไร
eth-sri/securify2 เป็นคลังโค้ด GitHub สาธารณะ โดยใช้ Solidity เป็นภาษาหลัก ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 635 ดาวและ 141 ฟอร์ก หัวข้อ: datalog, ethereum, ความปลอดภัย, smart contract, solidity, static analysis อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์
Securify v2.0
คลัง GitHub
- ดาว
- 635
- ดาวเพิ่ม · 7 วัน
- +0
- Fork
- 141
- ภาษาหลัก
- Solidity
- ใบอนุญาตคลัง
- Apache-2.0
- ส่งโค้ดล่าสุด
- 25 พ.ค. 2025
ความนิยมมาจากดาว GitHub การเพิ่ม 7 วันต้องมีข้อมูลท้องถิ่นครบสัปดาห์ นี่ไม่ใช่อันดับทางการของ GitHub
แหล่งที่มาและความใหม่
GitHub ↗อัปเดตแหล่งข้อมูล · 15 ต.ค. 2026
ข้อมูลนำเข้ามีลิงก์แหล่งที่มา รายการช่วยค้นหา ไม่ใช่การรับรอง