k1nh00

Pinned Repositories

ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
Language:Go00
SV-Gen
SV-Gen：A Test Case Generation Tool for Ethereum Smart Contract Based on Data Dependency Analysis of State Variable
Language:Python00
solidity-coverage
Code coverage for Solidity smart-contracts
Language:JavaScript975 14 508263

k1nh00's Repositories

k1nh00/ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
Language:Go00
k1nh00/SV-Gen
SV-Gen：A Test Case Generation Tool for Ethereum Smart Contract Based on Data Dependency Analysis of State Variable
Language:Python00