A collection of JavaScript engine CVEs with PoCs

Scripts to install and run fuzz targets and grammar-based fuzzers. Also contains scripts to perform statistical tests and plot data.

Make Zotero effective for us LaTeX holdouts

Hands-On Functional Programming in Rust, published by Packt

Nix environment setup for the fish shell

A LLVM Sanitizer for Symbolic Tracing

Collection of advice for prospective and current PhD students

Deadline countdowns for academic conferences in Security and Privacy

egg is a flexible, high-performance e-graph library

An experimental AI that plays the 3rd gen Pokemon games - Winner of Judge's Choice Award for NUS Orbital Project

wiki, discussion, Q&A, etc.

Game Boy Advance Test Suite

A collection of Game Boy Advance tests.

A random basic test ROM generator for the GBA

🧠 Laws, Theories, Principles and Patterns for developers and technologists.

File formats dissections and more...

rfuzz: coverage-directed fuzzing for RTL research platform

This is a repo where I store all the paper reading reviews

A highly performant GBA emulator with a hardware renderer

Analysis of various tricky Rust code

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

A Network using sound to transmit information.

Tutorial for rCore OS step by step (3rd edition)

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

llvm-mctoll

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...

FuzzBench - Fuzzer benchmarking as a service.

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.