Veridise/Eurus

ใช้งานอะไร

Veridise/Eurus เป็นคลังโค้ด GitHub สาธารณะ โดยใช้ Racket เป็นภาษาหลัก ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 48 ดาวและ 3 ฟอร์ก หัวข้อ: defi, ethereum, ความปลอดภัย, สมาร์ตคอนแทรกต์, solidity, symbolic compilation อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์

Precise Attack Synthesis for DeFi Apps

คลัง GitHub

ดาว

48

ดาวเพิ่ม · 7 วัน

—

Fork

3

ภาษาหลัก

Racket

ใบอนุญาตคลัง

GPL-3.0

ส่งโค้ดล่าสุด

15 ส.ค. 2022

ความนิยมมาจากดาว GitHub การเพิ่ม 7 วันต้องมีข้อมูลท้องถิ่นครบสัปดาห์ นี่ไม่ใช่อันดับทางการของ GitHub

แหล่งที่มาและความใหม่

ข้อมูลนำเข้ามีลิงก์แหล่งที่มา รายการช่วยค้นหา ไม่ใช่การรับรอง