Incorectness Separation Logic for Rust
Master Project

Project Description

This project aims to extend an existing static analysis for finding bugs in Unsafe Rust with support for more Rust features, such as slices and interior mutability.

Contacts for the Project

• Andreea Costea