Software
Loupe is a system call usage analysis tool aiming to help developers build Linux compatibility layers.
ConfFuzz is an exploratory fuzzer designed for uncovering interface-related vulnerabilities in compartmentalized software
FlexOS is an OS in which the isolation strategy is decoupled from the design. See the paper, and the corresponding artifacts.
Wayfinder is a generic OS performance benchmarking platform, used to automatically explore the OS design space. See the paper.
A Discord bot to manage office hours on a Discord server, maintaining the order of arrival of students
LibHermitMPK is a unikernel offering protection within a VM instance, where user/kernel and safe/unsafe rust code are isolated. LibHermitMPK is written by Mincheol Sung as an adaptaion of RustyHermit. For more information see the paper.
SlimGuard is a secure dynamic memory allocator (malloc) implementation focusing on having a low memory overhead. See the paper.
HEXO is a system migrating native VMs (unikernels) between x86-64 servers and ARM64 embedded boards for consolidation. More info in the paper.
HermiTux, a unikernel that is binary-compatible with Linux. More info in the paper.
A set of optimizations for the Xen toolstack to boot and destroy VMs super fast. More info in the paper.
Flashmon is a flash memory I/O monitor designed to be used with raw flash chips in embedded Linux. More details in the related paper ;
FFSMark is a Linux file system benchmark designed to evaluate flash file systems performance. More details in the paper: English version, French version ;
OpenFlash is a flash storage subsystem simulator aiming at estimating performance and power consumption. More details in the paper ;
JFFS2DParser stands for JFFS2Dump Parser. It is a simple tool which takes JFFS2Dump output as input, as gives some insight about the on-flash fragmentation of files in a JFFS2 file system ;
A small patch to disable Linux read-ahead for the JFFS2 and YAFFS2 FFS, because read-ahead may causes some performance issues with FFS (paper).