memory-safety topic

Configurable instrumentation of LLVM bitcode

staticafi

google

Lists of must-read papers (mainly security papers)

jiezhoucs

In-memory security with secure data types

Dentrax

This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.

riscv

An enigmatic systems programming language.

occultlang