This repository contains a prototype of RustNethuns's sockets in order to assess the absence of Undefined Behavior due to the packet generation mechanism.
Refer to Chapter 6 of the thesis for further details.
Riccardo Sagramoni
-
Notifications
You must be signed in to change notification settings - Fork 0
Safety analysis of the RustNethuns's socket model with the Miri interpreter
License
RiccardoSagramoni/rust-nethuns-miri
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Safety analysis of the RustNethuns's socket model with the Miri interpreter