Pinned

1. smartcheck smartcheck Public

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

   HTML 355 88

2. classification classification Public

   Classification of smart contract vulnerabilities

   79 14

3. smartdec smartdec Public

   SmartDec decompiler

   C++ 385 450

4. dgtx-vesting dgtx-vesting Public

   Digitex Vesting contract

   JavaScript 4 2

5. dgtx-auction dgtx-auction Public

   Digitex Dutch auction contract

   JavaScript 1 2

6. mass-token-transfer mass-token-transfer Public

   JavaScript 1 2