We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect
Soundness practice problems in Rust
Difficulty:
Category & tags Filters active
Category:
Tag:
Showing 7 of 7
| Title | Difficulty | Category | Tags |
|---|---|---|---|
| Capstone: audit and repair an unsound abstraction | Hard | End-to-End |
|
| Designing safe wrappers around unsafe FFI | Hard | End-to-End |
|
| Implementing a reference-counted pointer | Hard | Framework |
|
| Keep a vector valid when its drain is forgotten | Hard | Framework |
|
| Unsound API smells: two fixes and a review checklist | Medium | Primitives |
|
| Validity invariants vs safety invariants | Medium | Primitives |
|
What unsafe allows, and what it does not change
|
Easy | Primitives |
|