This repo links to the code I have written for my Rust summer intern:
- Undertaker, a POC tool to detect deadlocks statically in Rust programs
- Ratmole, a POC supporting tool to statically perform name-resolution within a Rust crate and its dependencies.