Master Thesis Project "Inter-procedural Static Analysis for Unsafe Rust using PhASAR"

Usage

1. Use VS Code with a devcontainer to run the project
2. Intial setup with setup.sh
3. Build the project with build.sh