AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
Documentation for the angr suite
The Z3 Theorem Prover - repository for staging python distributions
Classes with architecture-specific information useful to other projects.
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Two scripts to parse students' quiz scores and write to their grades
Carcassonne implementation in python
CLE Loads Everything (at least, many binary formats!)
A sample project for OSS-FUZZ to test its functionalities (e.g. filing/closing issues).
A minimal, sidebar, responsive web design Jekyll theme, focusing on text presentation.
A Jekyll Theme, based on the Uno-Theme with some adjustments.
A private fork of the `llvm-project` from `llvm`
Experimenting shell injection with `ptrace`.
Python bindings for Valgrind's VEX IR.
[DEPRECATED] A symbolic execution engine for the VEX IR
Collection of Verification Tasks
Automate Alloy marking
Synthwave inspired colour theme for VS Code 🌅🕶
Instrument assembly code with tracing of jump targets
Automate voice conversion with Docker
:arrow_double_down: Dumb downloader that scrapes the web