smartdec

smartdec/smartcheck

SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

HTML
363
89
GNU General Public License v3.0
Total donated
Undistributed
Share with your subscribers:

Recipients

How the donated funds are distributed

Support the dependencies

Support the repos that depend on this repository

Top contributors

voskresenskaya's profile
voskresenskaya
180 contributions
sobolev-igor's profile
sobolev-igor
102 contributions
3q-coder's profile
3q-coder
49 contributions
s-tikhomirov's profile
s-tikhomirov
46 contributions
bugaevc's profile
bugaevc
13 contributions
PYushchenko's profile
PYushchenko
12 contributions
eMarchenko's profile
eMarchenko
8 contributions
cleanunicorn's profile
cleanunicorn
1 contributions
dependabot[bot]'s profile
dependabot[bot]
1 contributions
Elisabethar's profile
Elisabethar
1 contributions

Recent events

Kivach works on the Obyte network, and therefore you can track all donations.

No events yet