Pinned Loading

1. smartcheck smartcheck Public

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

   HTML 394 93

2. classification classification Public

   Classification of smart contract vulnerabilities

   86 15

3. smartdec smartdec Public

   SmartDec decompiler

   C++ 415 459

4. dgtx-vesting dgtx-vesting Public

   Digitex Vesting contract

   JavaScript 5 3

5. dgtx-auction dgtx-auction Public

   Digitex Dutch auction contract

   JavaScript 2 3

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

   JavaScript 1 2