shaunazzopardi/solidity-cfg-builder

Kegunaan

shaunazzopardi/solidity-cfg-builder adalah repositori GitHub publik, terutama memakai Haskell. Snapshot terakhir yang disimpan mencatat 28 bintang dan 2 fork. Topik: control flow graph, ethereum verificaton, solidity, solidity analysis, solidity contracts, solidity language. Baca dokumentasi, lisensi, dan issue terkini sebelum memakai perangkat lunaknya.

A control-flow graph builder for Solidity smart contracts.

Repositori GitHub

Bintang

28

Bintang bertambah · 7 hari

—

Fork

2

Bahasa utama

Haskell

Lisensi repositori

BSD-3-Clause

Push kode terakhir

4 Des 2019

Popularitas dari bintang GitHub. Pertumbuhan 7 hari perlu sepekan cuplikan lokal. Ini koleksi kami, bukan tren resmi GitHub.

Sumber & kebaruan data

Entri impor menautkan sumber. Entri membantu penemuan, bukan dukungan.