shaunazzopardi/solidity-cfg-builder

ใช้งานอะไร

shaunazzopardi/solidity-cfg-builder เป็นคลังโค้ด GitHub สาธารณะ โดยใช้ Haskell เป็นภาษาหลัก ภาพรวมล่าสุดที่บันทึกไว้ระบุว่ามี 28 ดาวและ 2 ฟอร์ก หัวข้อ: control flow graph, ethereum verificaton, solidity, solidity analysis, solidity contracts, solidity language อ่านเอกสาร ใบอนุญาต และรายการปัญหาปัจจุบันก่อนใช้งานซอฟต์แวร์

A control-flow graph builder for Solidity smart contracts.

คลัง GitHub

ดาว

28

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

—

Fork

2

ภาษาหลัก

Haskell

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

BSD-3-Clause

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

4 ธ.ค. 2019

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

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

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