Skip to content

Latest commit

 

History

History
53 lines (36 loc) · 1.46 KB

README.md

File metadata and controls

53 lines (36 loc) · 1.46 KB
Raw

Intro

This repository aims to reproduce and optimize the implementation of the paper "A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel" (USENIX Security 2023).

Environment

Note that:

  • To better utilize the advantages of SVF, we choose the newer SVF version than the paper (which is SVF-2.5).
  • To conduct static analysis for Linux kernel, we applied extra patches to SVF-2.8 Release code (seen in link).

How to build LLVM bitcode

TBD

Uasge

Compile Unias code:

mkdir build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Release
make -j 10

Use Unias to conduct alias analysis:

cd build
./bin/Unias @/path/to/bc.list -OutputDir=/path/to/output_dir -ThreadNum=8 2>&1 | tee runlog.txt

TBD

Original Paper: https://www.usenix.org/conference/usenixsecurity23/presentation/li-guoren

@inproceedings{lihybrid,
  title={A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel},
  author={Li, Guoren and Zhang, Hang and Zhou, Jinmeng and Shen, Wenbo and Sui, Yulei and Qian, Zhiyun},
  booktitle={32st USENIX Security Symposium (USENIX Security 23)},
  pages={4211--4228},
  year={2023}
}