shaunazzopardi/solidity-cfg-builder

Công dụng

shaunazzopardi/solidity-cfg-builder là kho mã GitHub công khai, chủ yếu viết bằng Haskell. Bản ghi gần nhất được lưu cho biết có 28 sao và 2 bản fork. Chủ đề: control flow graph, ethereum verificaton, solidity, solidity analysis, solidity contracts, solidity language. Đọ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.

A control-flow graph builder for Solidity smart contracts.

Kho GitHub

Sao

28

Sao tăng · 7 ngày

—

Bản fork

2

Ngôn ngữ chính

Haskell

Giấy phép kho

BSD-3-Clause

Lần đẩy mã cuối

4 thg 12, 2019

Độ 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.