Skip to content

Move SafeFFI to published section #4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
CodeSentryAI merged 1 commit into from
May 25, 2026
Merged

Move SafeFFI to published section #4

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,6 +80,7 @@ Academic Papers (source code not found yet)
| [rtsan-standalone-rs](https://github.com/realtime-sanitizer/rtsan-standalone-rs) | Standalone RealtimeSanitizer for Rust. [Blogpost](https://steck.tech/posts/rtsan-in-rust/) | Soure Code | Real-time Violations | Instrumentation | 2025-09-27 |
| [verified-ledger](https://github.com/welltyped-systems/verified-ledger) | A reference architecture for differential fuzzing using a formally verified oracle | Source Code, Lean | model-based conformance testing of critical systems | Differential fuzzing + Formal verifid oracle | 2026-01-02 |
| [RustSan](https://github.com/sslab-skku/RustSan) | RustSan: Retrofitting AddressSanitizer for Efficient Sanitization of Rust. Paper: [USENIX Security'24](https://www.usenix.org/conference/usenixsecurity24/presentation/cho-kyuwon) | LLVM IR | Memory bugs | Instrumentation | 2024-10-11 |
| [SafeFFI](https://zenodo.org/records/18940953) | Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications [USENIX Security'26](https://www.plai.ifi.lmu.de/publications/usenixsecurity26-safeffi.pdf) [NDSS'24 Poster](https://www.ndss-symposium.org/wp-content/uploads/ndss24-posters-37.pdf)| MIR, LLVM IR | Memory safety in C/C++ and Rust Mixed Code | Instrumentation | 2026-03-10 |

Academic Papers (source code not found yet)

Expand All @@ -90,7 +91,6 @@ Academic Papers (source code not found yet)
| Rustcheck | Safety Enhancement of Unsafe Rust via Dynamic Program Analysis. [Rustcheck, QRS-C'23](https://ieeexplore.ieee.org/document/10429951) | MIR | Memory vulnerabilities | Static Program Analysis, Instrumentation |
| RUSTY | A Fuzzing Tool for Rust. [Poster@ACSAC'20](https://www.acsac.org/2020/program/poster-wips/2020-3-RUSTY%20%20A%20Fuzzing%20Tool%20for%20Rust.pdf) | - | Vulnerabilities | Fuzzing, Concolic Testing, Property-based Testing |
| Rust-twins | Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation. [ASE'24](https://wzyang.cn/files/Rust_twins.pdf) | AST, HIR | Rust compiler crashes and differences | Differential testing, mutation, macroize components, LLM |
| SafeFFI | Poster: Ensuring Memory Safety for the Transition from C/C++ to Rust. [NDSS'24](https://www.ndss-symposium.org/wp-content/uploads/ndss24-posters-37.pdf)| LLVM IR | Memory safety in C/C++ and Rust Mixed Code | Existing sanitiers: HWASAN, SoftBound/CETS |
| LiteRSan | LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation. [arxiv](https://arxiv.org/pdf/2509.16389) | MIR, LLVM IR | Memory access bugs | Fuzzing |


Expand Down