Manul is a coverage-guided parallel fuzzer for open-source and blackbox binaries on Windows, Linux and MacOS

Manul is a coverage-guided parallel fuzzer for open-source and blackbox binaries on Windows, Linux and OS X

Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.

Research Artifact of Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools

Frida-based tracer for easier reverse-engineering on Android, iOS, Linux, Windows and most related architectures.

An open source re-implementation of Caesar III

How to systematically secure anything: a repository about security engineering

The Harvest of V8 regress.

Project for learning V8 internals

Corpus for github.com/dvyukov/go-fuzz examples

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

Use flow type information at runtime. Useful for validations, mapping to an ORM, and more.

A runtime type system for JavaScript with full Flow compatibility.

Performant type-checking for python.

Type check values

Esprima-compatible implementation of the Mozilla JS Parser API

A collection of resources for learning type theory and type theory adjacent fields.

Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

A PHP parser written in PHP

PoC of modifying HexRays AST

🤖 Keep your forks up-to-date via automated PRs

A Virtual environment for Pentesting IoT Devices

Publications from Trail of Bits

A centralized source of all AWS IAM privilege escalation methods released by Rhino Security Labs.

Message Passing Neural Networks for Molecule Property Prediction

Resources related to GitHub Security Lab

Personal blog