Pinned Loading

1. smartcheck smartcheck Public

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

   HTML 361 89

2. classification classification Public

   Classification of smart contract vulnerabilities

   82 13

3. smartdec smartdec Public

   SmartDec decompiler

   C++ 397 454

4. dgtx-vesting dgtx-vesting Public

   Digitex Vesting contract

   JavaScript 5 2

5. dgtx-auction dgtx-auction Public

   Digitex Dutch auction contract

   JavaScript 2 2

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

   JavaScript 1 2