Dockerfile and test suite for the MSc thesis: A Static Analysis for Rust in Infer

Rust is a systems programming language that guarantees both performance and Memory Safety through its memory model. With unsafe rust it is possible to opt-out of some security guarantees made by the compiler. However, this comes at the risk of re-introducing memory bugs. To be able to detect these errors we add rust support the a static analysis tool by meta called infer. <br>This dataset contains a dockerfile to build infer and a test suite of rust programs and their C equivalents that display memory bugs.