Posts

Violating Rust's memory safety

Language: an incomplete logic