MingxiYe

Sun Yat-sen University

Pinned Repositories

besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Language:Java00
CFGBuilder
This is a CFG Builder for Solidity
Language:C++64
FunFuzz
a fuzzer for solidity smart contracts
Language:C++20
gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Language:HTML00
IcyChecker
Language:Go20
IcyChecker-Artifact
Language:Solidity21
MetaTrust2023
This repo is for MetaTrust CTF
Language:JavaScript20
solc-DApp
A developing compiler for dApp
Language:Solidity53
solc-select
Manage and switch between Solidity compiler versions
Language:Python10
verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Language:C#10

MingxiYe's Repositories

MingxiYe/CFGBuilder
This is a CFG Builder for Solidity
Language:C++64
MingxiYe/solc-DApp
A developing compiler for dApp
Language:Solidity53
MingxiYe/FunFuzz
a fuzzer for solidity smart contracts
Language:C++20
MingxiYe/IcyChecker
Language:Go20
MingxiYe/IcyChecker-Artifact
Language:Solidity21
MingxiYe/MetaTrust2023
This repo is for MetaTrust CTF
Language:JavaScript20
MingxiYe/solc-select
Manage and switch between Solidity compiler versions
Language:Python10
MingxiYe/verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Language:C#10
MingxiYe/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Language:Java00
MingxiYe/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
Language:HTML00
MingxiYe/greed
A symbolic execution engine for EVM smart contract binaries
Language:Python00
MingxiYe/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Language:Rust
MingxiYe/mingxiye.github.io
Language:Python
MingxiYe/Web3Bugs
Demystifying Exploitable Bugs in Smart Contracts