SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
HTML
365
89
GNU General Public License v3.0
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies of smartdec/smartcheck
Portable Unix shell commands for Node.js
Support the repos that depend on this repository
Top contributors
voskresenskaya
180 contributions
sobolev-igor
102 contributions
3q-coder
49 contributions
s-tikhomirov
46 contributions
bugaevc
13 contributions
PYushchenko
12 contributions
eMarchenko
8 contributions
cleanunicorn
1 contributions
![dependabot[bot]'s profile](https://avatars.githubusercontent.com/dependabot[bot])
dependabot[bot]
1 contributions
Elisabethar
1 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet
