system-pclub / rust-programming-challenges
code snippets for
☆10Updated 2 months ago
Related projects: ⓘ
- Rust Analysis Platform☆26Updated last week
- A framework for large scale analysis of the Rust ecosystem.☆35Updated this week
- ☆129Updated 3 months ago
- ☆48Updated last year
- understanding the safety of Rust☆94Updated 4 years ago
- A fully automated Rust fuzz driver generator☆49Updated this week
- Ownership analysis that helps translating C to Rust☆12Updated 7 months ago
- A formally verified security module for AMD confidential VMs☆32Updated 3 months ago
- RedLeaf Operating System☆115Updated 2 years ago
- 遍历设备树二进制对象☆12Updated 9 months ago
- Rust support for RISC-V Platform-Level Interrupt Controller☆10Updated last year
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆14Updated last year
- 项目的主仓库☆22Updated 2 years ago
- Which functions call each other in your rust crate? Static call graph analysis.☆28Updated 3 weeks ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 2 years ago
- A randomized program fuzzer for the Rust programming language☆57Updated last year
- A Type-1.5 hypervisor written in Rust.☆53Updated 4 months ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆15Updated 2 months ago
- Thesis code☆25Updated last year
- An experimental RTOS written in Rust.☆30Updated last year
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆21Updated this week
- A buddy system allocator in pure Rust.☆84Updated last month
- 快速陷入处理☆33Updated last year
- Rust Unikernel OS☆50Updated this week
- ☆38Updated 2 months ago
- A framework for writing plugins that integrate with the Rust compiler☆133Updated last month
- Trophy case for Rudra bugs.☆36Updated 7 months ago
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆15Updated 8 months ago
- ☆10Updated last year
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆12Updated 10 months ago