Pinned Repositories
AlgoTrader
AndroidGUITesting
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications （QRS2017 best paper）
Artemis
An extended smart contract verification tool
ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
cryptofuzz
CUDAsmith
A CUDA compiler fuzzer
demi
Interposition code for DEMi (Distributed Execution Minimizer)
EOSFuzzer
A fuzzer for vulnerability detection of EOSIO smart contracts.
SimplyDroid
SimplyDroid: Efficient Event Sequence Simplification for Android Application (ASE 2017)
WANA
A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector
gongbell's Repositories
gongbell/ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
gongbell/WANA
A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector
gongbell/CUDAsmith
A CUDA compiler fuzzer
gongbell/Artemis
An extended smart contract verification tool
gongbell/SimplyDroid
SimplyDroid: Efficient Event Sequence Simplification for Android Application (ASE 2017)
gongbell/EOSFuzzer
A fuzzer for vulnerability detection of EOSIO smart contracts.
gongbell/AlgoTrader
gongbell/AndroidGUITesting
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications （QRS2017 best paper）
gongbell/cryptofuzz
gongbell/demi
Interposition code for DEMi (Distributed Execution Minimizer)
gongbell/Improved-AO-Coupling-in-CESM
gongbell/Determinator
Experimental operating system for deterministic parallel computing
gongbell/FinGPT
FinGPT: Open-Source Financial Large Language Models! Revolutionize 🔥 We release the trained model on HuggingFace.
gongbell/MarkDownPics
Pictures for online markdown files
gongbell/mlibc
Portable C standard library
gongbell/Open-Grants-Program
Web3 Foundation Open Grants Program
gongbell/panda
Platform for Architecture-Neutral Dynamic Analysis
gongbell/PIOS
PIOS: Parallel Instructional Operating System - Instructional Template Code
gongbell/retrowrite
RetroWrite -- Retrofitting compiler passes though binary rewriting
gongbell/SCCGrid-RS