QEMU with RISC-V (RV64G, RV32G) Emulation Support

Implementation of C11 Annex K "Bounds-checking interfaces" ISO/IEC 9899:2011

Fex: A Software Systems Evaluator

Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)

Project moved to: https://github.com/llvm/llvm-project

The official repository for the gem5 computer-system architecture simulator.

Experimental setup of "Intel MPX explained"

bogo for ASPLOS'19

Keystone Enclave (QEMU + HiFive Unleashed)

Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready

EDK II

Simple Dynamic Strings library for C

A fast and scalable x86-64 multicore simulator

Build UEFI applications with the Clang compiler and LLD linker.

A blog：hacker-vision.github.io

My Blog / Jekyll Themes / PWA

A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。

Reproduction of the NIST SATE VI Ockham Track results with Frama-C/Eva (Juliet 1.3)

Samples mentioned in the USENIX paper.

955 不加班的公司名单 - 工作 955，work–life balance (工作与生活的平衡)

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

safec libc extension with all C11 Annex K functions

Main gperftools repository

Project ACRN hypervisor

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Makefiles to use OP-TEE on various platforms

GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.