Repositories list

• coco

  Public
  The course framework for the Compiler Construction course at the VU Amsterdam

  C

  •5•0•0•1•Updated Feb 3, 2025Feb 3, 2025

• phantom-trails

  Public
  Fuzzing processor simulations with taint tracking.

  C++

  •0•0•3•0•Updated Jan 30, 2025Jan 30, 2025

• hw-fuzzing-llvm

  Public
  Implementation of our bit-precise taint tracking sanitizer.

  C++

  •0•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• hw-fuzzing-driver

  Public
  LibAFL-based fuzzing driver for RISC-V CPU fuzzing.

  Rust

  •1•0•0•1•Updated Jan 29, 2025Jan 29, 2025

• hw-fuzzing-libafl

  Public
  LibAFL tweaked for hardware fuzzing.

  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• hw-fuzzing-AFL

  Public
  Fuzzer instrumentation for Verilog Fuzzing. Adds various coverage metrics, including Taint.

  C

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• ARVO-Meta

  Public
  Cloned to allow for minor edits and storing custom processing scripts

  8•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• rangesanitizer

  Public
  RangeSanitizer (RSan) detects spatial and temporal memory errors in C/C++ programs using efficient range checks.

  C++

  •0•1•0•0•Updated Jan 24, 2025Jan 24, 2025

• instrumentation-infra

  Public
  An extendable and flexible infrastructure for program instrumentation.

  Python

  •

  Other

  •6•20•0•0•Updated Jan 16, 2025Jan 16, 2025

• specdoctor

  Public
  specdoctor reporducer

  C

  •6•0•0•0•Updated Jan 13, 2025Jan 13, 2025

• riscv-transient-attacks

  Public
  PoCs used for the Phantom Trails paper.

  Assembly

  •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

• inspectre-gadget

  Public
  InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets

  Python

  •

  Apache License 2.0

  •6•47•8•0•Updated Dec 11, 2024Dec 11, 2024

• vu-forms-and-templates

  Public
  VU forms and templates

  TeX

  •

  Apache License 2.0

  •5•7•0•0•Updated Nov 22, 2024Nov 22, 2024

• aos-labs-2024

  Public
  C

  •4•0•0•1•Updated Oct 11, 2024Oct 11, 2024

• kdfsan-llvm-project

  Public
  C++

  •2•2•0•0•Updated Sep 12, 2024Sep 12, 2024

• kdfsan-syzkaller

  Public
  Go

  •

  Apache License 2.0

  •1•1•0•0•Updated Sep 6, 2024Sep 6, 2024

• absynthe

  Public
  ABSynthe related code

  Python

  •

  GNU Affero General Public License v3.0

  •1•3•0•0•Updated Aug 27, 2024Aug 27, 2024

• stickytags

  Public
  C++

  •2•4•0•0•Updated Aug 19, 2024Aug 19, 2024

• floatzone

  Public
  C

  •2•67•2•0•Updated Jul 4, 2024Jul 4, 2024

• einstein

  Public
  Practical Data-Only Attack Generation

  C

  •

  Apache License 2.0

  •2•33•0•0•Updated Jun 7, 2024Jun 7, 2024

• kasper

  Public
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel

  C

  •

  Apache License 2.0

  •9•57•1•0•Updated May 8, 2024May 8, 2024

• safefetch-ae

  Public
  Roff

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated May 8, 2024May 8, 2024

• safefetch

  Public
  C

  •

  Other

  •1•1•0•0•Updated May 8, 2024May 8, 2024

• parmesan

  Public
  ParmeSan: Sanitizer-guided Greybox Fuzzing

  C++

  •

  Apache License 2.0

  •29•174•0•2•Updated Apr 19, 2024Apr 19, 2024

• LookUB

  Public
  C++

  •1•11•0•0•Updated Apr 4, 2024Apr 4, 2024

• SCC

  Public
  The |S|uborbital |C||C|annon compiler fuzzing framework

  C++

  •1•4•0•0•Updated Apr 4, 2024Apr 4, 2024

• libdft64-ng

  Public
  Fork of https://github.com/AngoraFuzzer/libdft64 with support for shadow memory-based tagmap, small set tags, pointer/offset labels, and taint all memory semantics.

  C++

  •

  Other

  •0•4•0•0•Updated Mar 22, 2024Mar 22, 2024

• ghostrace

  Public
  SmPL

  •

  Apache License 2.0

  •9•69•1•0•Updated Mar 11, 2024Mar 11, 2024

• uncontained

  Public
  Uncovering Container Confusion in the Linux Kernel

  C++

  •

  Apache License 2.0

  •5•43•0•0•Updated Feb 27, 2024Feb 27, 2024

• spectre-mte

  Public
  C

  •0•0•0•0•Updated Jan 12, 2024Jan 12, 2024