LHS
A static analysis tool for verifying the safety of Rust programs.
⚠️ This project is a work in progress.
The project aims to develop a static analysis tool for verifying the safety of Rust programs. This tool will analyze the code and detect the attack patterns we identified in our previous work Counterexamples in Safe Rust. Currently it works by intercepting the compiler at the MUR stage and than analyzing that code using Z3.
Fun Fact : This project is called LHS because when we discussed about this for the first time, there were two projects on the board, one on the left side and one on the right side. The one on the left side was called “Left Hand Side (LHS)” and the one on the right side was called “Right Hand Side (RHS)”. The name stuck and we decided to keep it.