- Kanagawa, Japan
-
03:06
(UTC +09:00) - https://vhertz.github.io
- https://orcid.org/0009-0009-1963-9916
Stars
Minima is a one-size-fits-all Jekyll theme for writers.
RISC-V Assembly Programmer's Manual
WinDbg extension written in Rust to dump the CPU / memory state of a running VM
wtf is a distributed, code-coverage guided, customizable, cross-platform snapshot-based fuzzer designed for attacking user and / or kernel-mode targets running on Microsoft Windows and Linux user-m…
DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invarian…
Vim-fork focused on extensibility and usability
Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Master programming by recreating your favorite technologies from scratch.
Static Value-Flow Analysis Framework for Source Code
[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
Style guides for Google-originated open-source projects
SymQEMU: Compilation-based symbolic execution for binaries
Chrome PROXY extension, set proxy for Chrome browser
Keynote template designed for research/technical presentations
A true minimalistic LaTeX beamer template
GoogleTest - Google Testing and Mocking Framework
TOPPERS/ASP3 Kernel written in Zig Programming Language
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
A True Instrumentable Binary Emulation Framework
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing