We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect
Soundness practice problems in Rust
Difficulty:
Category:
Tag:
Showing 7 of 7
| Status | 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 |
|
|
| Leaking is safe, and exception safety | Hard | Framework |
|
|
| The five superpowers — and the four myths | Easy | Primitives |
|
|
| Unsound API smells: the patterns that are always wrong | Medium | Primitives |
|
|
| Validity invariants vs safety invariants | Medium | Primitives |
|