Flanelly: Programming a Flow Analyzer in Rust
Provided as part of the dependable software course taught by Martin Leucker at ISP, Lübeck in 2020This is a programming lab that was handed out to students who were instructed in this course on both Flow Analysis and Rust.