adrianherrera Goto Github PK

adrianherrera.github.io

Blog

afl-blackbox-cov

A modified AFL that allows recording of coverage in blackbox mode

afl-mutation-graph

Recover mutation graph from an AFL seed

afl-ngram-pass

An LLVM-based implementation of n-gram branch coverage for AFL

aflplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

angora

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

ball-larus-fuzz

AFL++ using the Ball-Larus path profiling algorithm for coverage feedback

bind_free

Wrapper for binding a program to a free CPU

categorize-instructions

Intel Pin tool for categorizing x86 instructions

cclyzerpp

cclyzer++ is a precise and scalable global pointer analysis for LLVM code.

clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

clang-ast-tools

Python scripts for traversing Clang ASTs

crab

A library for building abstract interpretation-based analyses

deepstate

A unit test-like interface for fuzzing and symbolic execution

ecofuzz-overhead

EcoFuzz-An adaptive energy-saving greybox fuzzer

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

fuzzer-test-suite

Set of tests for fuzzing engines

fuzzing-corpora-directory

immdbg-pycommands

Collection of PyCommands for Immunity Debugger

jdivisitor

Java library for building custom debugger applications using the Java Debug Interface (JDI) and the visitor design pattern

jdivisitor-examples

Example applications using the JDIVisitor library

kaitai-s2e

Code for my blog post on combining S2E and Kaitai Struct

latex-makefile

A simple Makefile for building LaTeX projects

libebc

C++ Library and Tool for Extracting Embedded Bitcode

libxdc

The fastest Intel-PT decoder for fuzzing

lief

LIEF - Library to Instrument Executable Formats

llvm-cfg-to-json

Exports an LLVM control flow graph (CFG) (including function calls) to JSON

llvm-edge-log

LLVM pass for logging edge transitions (intra- and inter-procedural)

llvm-halstead-complexity

Halstead complexity of LLVM

llvm-instruction-classification

Classifies and counts LLVM instructions