learjet5

learjet5

Geek Repo

Company:SJTU

Location:Shanghai, China

Home Page:https://learjet5.github.io/

Github PK Tool:Github PK Tool

learjet5's repositories

SVF-for-Linux-Kernel

Adapt SVF for Linux kernel static analysis.

Language:C++License:NOASSERTIONStargazers:2Issues:0Issues:0

GEEKCON2023-AVSS

GEEKCON2023 AVSS app-level challenges in preliminary round.

Language:JavaStargazers:1Issues:0Issues:0

learjet5.github.io

Personal homepage.

Language:ShellStargazers:1Issues:1Issues:0
Language:PythonStargazers:1Issues:0Issues:0

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++License:AGPL-3.0Stargazers:1Issues:0Issues:0
Stargazers:0Issues:1Issues:0

Generate_Linux_Kernel_Bitcode

Build the Linux kernel into LLVM IR bitcode files.

Language:GoStargazers:0Issues:0Issues:0