Lists (1)
Stars
A markup-based typesetting system that is powerful and easy to learn.
Forum for discussion about what unsafe code can and can't do
a model of MIR and the Rust type/trait system
A precise specification for "Rust lite / MIR plus"
A curated list of awesome Rust checkers
Security advisory database for Rust crates published through crates.io
A static analyzer for Java, C, C++, and Objective-C
An implementation of a small TCP/IP protocol stack for learning.
Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited author…
The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.
A minimal, responsive, and feature-rich Jekyll theme for technical writing.
Minima is a one-size-fits-all Jekyll theme for writers.
A book-in-progress about the Linux kernel and its insides.
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
Exploit Development and Reverse Engineering with GDB & LLDB Made Easy
A collection of links related to Linux kernel security and exploitation
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
An experimental modern general-purpose microkernel OS.
Creusot helps you prove your code is correct in an automated fashion.
A memory allocator verified with Verus
Create book from markdown files. Like Gitbook but implemented in Rust
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
Source code for the DEF CON 32 CTF Qualifiers.