smartdec/smartcheck
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
HTMLGPL-3.0
Stargazers
- aaabbbccc2018
- aadityapurani
- aashutoshrathi@StackrLabs @2AMDevs
- agroceNorthern Arizona University (SICCS)
- anthalasathEarth
- AwesomeHuangZhejiang University
- BattleBird
- caixiaoqing627
- denyevSt. Petersburg
- dfxshxr
- dzarezenko@Ownity-io, @ElephantsLab, @Asymptix, @block-soft
- eknoesGöttingen, Germany
- eMarchenkoPessimistic
- funnyddq
- gingeleski
- HysMagus@TheArcadiaGroup
- kelvinlockwoodBundle
- latifronsShanghai
- lojikil
- Lucifer1993Matrix
- masud99rPurdue University
- maxxbw54Assistant Professor at North Carolina State University
- muellerberndt@ConsenSys
- nono2357Paris, France
- opt9
- pgrimalo
- RanhiruMelbourne
- rshigemura
- s-tikhomirov@chaincodelabs
- shayanb@ethcap
- sobolev-igor@zeriontech
- teranosSBVH
- wh5a
- YangVincent@google
- yxliang01Place Where Sky Is Visible
- zqzqzUniversity of Michigan