


Heap-buffer-overflow in Oniguruma (function gb18030_mbc_enc_len)




Out-Of-Bounds Read in html2xhtml : CVE-2022-44311

Proof of concept for CVE-2022-44311

Static Binary Instrumentation tool for Windows x64 executables

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…


Static analysis framework that identifies fuzzable function targets in source code and binaries, generates harness templates, and integrates with…

Checker for Lifetimes and other Refinement types

Educational repository documenting the analysis and exploitation of CVE-2025-5548 (FreeFloat FTP Server buffer overflow). Includes a reusable…

Trail of Bits Testing Handbook - appsec.guide

CVE-2021-3156 POC and Docker and Analysis write up