learjet5's repositories
SVF-for-Linux-Kernel
Adapt SVF for Linux kernel static analysis.
GEEKCON2023-AVSS
GEEKCON2023 AVSS app-level challenges in preliminary round.
learjet5.github.io
Personal homepage.
Unias-repro
Reproduce and optimize the implementation of "A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel" (USENIX Security 2023).
Generate_Linux_Kernel_Bitcode
Build the Linux kernel into LLVM IR bitcode files.
Language:Go000