This repository contains the source code for the ASPLOS'24 paper:

Enforcing C/C Type and Scope at Runtime for Control-Flow and Data-Flow Integrity
Mohannad Ismail, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min, and Wenjie Xiong
In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2024)

rsti
├── CMakeLists.txt    # CMake file for building RSTI
├── example           # Example code
├── llvm-project      # RSTI compiler

RSTI uses a fork of Apple's LLVM, and thus this will only work on an Apple macOS machine with an ARM processor. This has been tested on an Apple Mac Mini M1. You also need to:

1. Disable System Integrity Protection (https://developer.apple.com/documentation/security/disabling_and_enabling_system_integrity_protection)
2. Run this command to enable arm64e compilation to support Pointer Authentication instructions: sudo nvram boot-args=-arm64e_preview_abi

$ mkdir build
$ cd build
$ cmake ..
$ make llvm-mac-all

$ cd example
$ ./rsti_compile_c example
$ ./rsti_compile_c   example_c  
$ ./example
$ ./example_c  

If you wish to use the RSTI compiler, please check the compile scripts in the example directory for all the flags necessary. You can copy the file and modify it as needed.