Veridise/Eurus

Công dụng

Veridise/Eurus là kho mã GitHub công khai, chủ yếu viết bằng Racket. Bản ghi gần nhất được lưu cho biết có 48 sao và 3 bản fork. Chủ đề: defi, ethereum, bảo mật, Hợp đồng thông minh, solidity, symbolic compilation. Đọc tài liệu, giấy phép và các issue hiện tại trước khi dùng phần mềm.

Precise Attack Synthesis for DeFi Apps

Kho GitHub

Sao

48

Sao tăng · 7 ngày

+0

Bản fork

3

Ngôn ngữ chính

Racket

Giấy phép kho

GPL-3.0

Lần đẩy mã cuối

15 thg 8, 2022

Độ phổ biến theo sao GitHub. Tăng trưởng 7 ngày cần đủ một tuần ghi nhận. Đây không phải bảng xu hướng chính thức GitHub.

Nguồn & độ mới

Mục nhập dẫn nguồn. Có tên trong danh bạ không phải sự bảo chứng.