learjet5

Master student in SJTU. Interested in Program Analysis, Pwn, IoT.

SJTUShanghai, China

Pinned Repositories

Group4
Language:JavaScript54
Cross_Compiled_Tools
0 1 00
GEEKCON2023-AVSS
GEEKCON2023 AVSS app-level challenges in preliminary round.
Language:Java10
learjet5.github.io
Personal homepage.
Language:Shell1 1 00
SVF-for-Linux-Kernel
Adapt SVF for Linux kernel static analysis.
Language:C++20
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).
Language:C++10
SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1.4k 56 602436
SVF-example
An external project example using SVF as a library
Language:CMake19 4 931

learjet5's Repositories

learjet5/SVF-for-Linux-Kernel
Adapt SVF for Linux kernel static analysis.
Language:C++20
learjet5/GEEKCON2023-AVSS
GEEKCON2023 AVSS app-level challenges in preliminary round.
Language:Java10
learjet5/learjet5.github.io
Personal homepage.
Language:Shell1 1 00
learjet5/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).
Language:C++10
learjet5/Cross_Compiled_Tools
0 1 00