Ganxiang Yang's repositories
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Language:CApache-2.0000
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
Isaiah-Elegy
A compiler designed for Mx* language.
keystone-runtime
Eyrie enclave runtime kernel
Language:CNOASSERTION000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
NOASSERTION000
opensbi
RISC-V Open Source Supervisor Binary Interface
Language:CNOASSERTION000
shadowbound
ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)
000
Language:MakefileGPL-3.0000