Pinned Repositories
afl-mutation-graph
Recover mutation graph from an AFL seed
afl-ngram-pass
An LLVM-based implementation of n-gram branch coverage for AFL
ball-larus-fuzz
AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
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
kaitai-s2e
Code for my blog post on combining S2E and Kaitai Struct
llvm-cfg-to-json
Exports an LLVM control flow graph (CFG) (including function calls) to JSON
malware-s2e
Code for my blog post on using S2E for malware analysis
reil-parser
Haskell parser for the REIL intermediate language (currently a work-in-progress)
virustotal
A simple command-line script to interact with the virustotal-api
adrianherrera's Repositories
adrianherrera/llvm-cfg-to-json
Exports an LLVM control flow graph (CFG) (including function calls) to JSON
adrianherrera/ball-larus-fuzz
AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
adrianherrera/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!
adrianherrera/magma
A ground-truth binary fuzzing benchmark suite based on real programs with real bugs.
adrianherrera/simply-buggy
A collection of simple buggy example programs
adrianherrera/treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
adrianherrera/adrianherrera.github.io
Blog
adrianherrera/Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
adrianherrera/categorize-instructions
Intel Pin tool for categorizing x86 instructions
adrianherrera/cclyzerpp
cclyzer++ is a precise and scalable global pointer analysis for LLVM code.
adrianherrera/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
adrianherrera/crab
A library for building abstract interpretation-based analyses
adrianherrera/EcoFuzz-Overhead
EcoFuzz-An adaptive energy-saving greybox fuzzer
adrianherrera/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
adrianherrera/fuzzing-corpora-directory
adrianherrera/LibEBC
C++ Library and Tool for Extracting Embedded Bitcode
adrianherrera/libxdc
The fastest Intel-PT decoder for fuzzing
adrianherrera/LIEF
LIEF - Library to Instrument Executable Formats
adrianherrera/mull
Practical mutation testing tool for C and C++
adrianherrera/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
adrianherrera/parmesan
ParmeSan: Sanitizer-guided Greybox Fuzzing
adrianherrera/range-analysis
Static range analysis for the LLVM compiler infrastructure.
adrianherrera/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
adrianherrera/sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
adrianherrera/SVF
Static Value-Flow Analysis Framework for Source Code
adrianherrera/symcc
SymCC: efficient compiler-based symbolic execution
adrianherrera/symsan
A LLVM Sanitizer for Symbolic Tracing
adrianherrera/udbserver
Unicorn Emulator Debug Server - Written in Rust, with bindings for C, Go, Java and Python
adrianherrera/vimrc
My .vimrc. Adapted from https://github.com/amix/vimrc
adrianherrera/yacc-calc
A simple yacc-based calculator