understanding the safety of Rust
☆100Apr 18, 2020Updated 5 years ago
Alternatives and similar repositories for rust-study
Users that are interested in rust-study are comparing it to the libraries listed below
Sorting:
- ☆163May 24, 2024Updated last year
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆17Dec 28, 2023Updated 2 years ago
- ☆37May 15, 2022Updated 3 years ago
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 8 months ago
- ☆61Feb 15, 2023Updated 3 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆146Jan 22, 2026Updated last month
- Rust mid-level IR Abstract Interpreter☆1,009Aug 22, 2024Updated last year
- Thesis code☆26Aug 16, 2023Updated 2 years ago
- A curated list of awesome Rust checkers☆64Feb 3, 2026Updated last month
- ☆12Sep 12, 2024Updated last year
- ☆12Jul 8, 2023Updated 2 years ago
- A Memory-efficient Graph Store for Interactive Queries☆13Sep 1, 2021Updated 4 years ago
- Lists of must-read papers (mainly security papers)☆32Sep 18, 2024Updated last year
- Rust bindings for the NVM Library http://pmem.io☆16Sep 3, 2016Updated 9 years ago
- Securing Embedded Systems with Return Address Integrity☆15Aug 19, 2024Updated last year
- ☆13Jan 7, 2025Updated last year
- PRINCESS source code☆11Oct 15, 2016Updated 9 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- ☆14Jun 11, 2020Updated 5 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆59Oct 2, 2014Updated 11 years ago
- System using the Analysis Query Language☆14Jun 20, 2022Updated 3 years ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆584Oct 21, 2025Updated 4 months ago
- ☆13Oct 17, 2021Updated 4 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆18Dec 18, 2022Updated 3 years ago
- A high performance ACL based on XDP. GPL-2.0 License.☆15Feb 25, 2023Updated 3 years ago
- We are hiring! Let’s shape the future of database, together!☆14Aug 5, 2021Updated 4 years ago
- A scalable, distributed Time Series Database.☆28Dec 9, 2014Updated 11 years ago
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 3 years ago
- X-Trace is a tool that provides fine-grained visibility into large, complex distributed systems. It can be used by application developers…☆28Jun 9, 2014Updated 11 years ago
- ☆23Jun 9, 2021Updated 4 years ago
- ☆18Sep 2, 2025Updated 6 months ago
- ☆22Mar 20, 2023Updated 2 years ago
- ☆21Nov 28, 2023Updated 2 years ago
- Example of async programming in Rust☆19Jul 27, 2021Updated 4 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Jul 10, 2020Updated 5 years ago
- ☆154May 27, 2025Updated 9 months ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆277Feb 12, 2022Updated 4 years ago