Parametric Miri
Master Project of Glenn Weeland

Project Description

This projects aims to extend Miri with a frontend that allows manually added bug definitions. This would allow us to later create hybrid analysis, where part of the bug detection is carried out at the high level of rust and part will be carried out by Miri.

Contacts for the Project

• Andreea Costea