huyu1016

Pinned Repositories

trapKiller
smart contract checker
Language:Solidity20
awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
00
DefiDefender
Tool for Detecting DCT Patterns Based on Symbolic Execution
Language:Solidity00
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Language:HTML00

huyu1016's Repositories

huyu1016/DefiDefender
Tool for Detecting DCT Patterns Based on Symbolic Execution
Language:Solidity
huyu1016/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
huyu1016/awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
huyu1016/trapKiller
smart contract checker
Language:Solidity2