5-day longest streak
-
afl-mutation-graph
Recover mutation graph from an AFL seed
Python ★ 61 5y agoExplain → -
virustotal
A simple command-line script to interact with the virustotal-api
Python ★ 61 8y agoExplain → -
llvm-cfg-to-json
Exports an LLVM control flow graph (CFG) (including function calls) to JSON
C++ ★ 25 4y agoExplain → -
malware-s2e
Code for my blog post on using S2E for malware analysis
C++ ★ 25 7y agoExplain → -
ball-larus-fuzz
AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
C++ ★ 15 3y agoExplain → -
kaitai-s2e
Code for my blog post on combining S2E and Kaitai Struct
C++ ★ 15 7y agoExplain → -
afl-ngram-pass
An LLVM-based implementation of n-gram branch coverage for AFL
C++ ★ 13 6y agoExplain → -
reil-parser
Haskell parser for the REIL intermediate language (currently a work-in-progress)
Haskell ★ 11 8y agoExplain → -
binaryninja-gtirb
Support for the GrammaTech Intermediate Representation for Binaries (GTIRB) format in Binary Ninja
Python ★ 8 1y agoExplain → -
jdivisitor
Java library for building custom debugger applications using the Java Debug Interface (JDI) and the visitor design pattern
Java ★ 7 11y agoExplain → -
immdbg-pycommands
Collection of PyCommands for Immunity Debugger
Python ★ 7 11y agoExplain → -
afl-blackbox-cov
A modified AFL that allows recording of coverage in blackbox mode
C ★ 5 5y agoExplain → -
llvm-edge-log
LLVM pass for logging edge transitions (intra- and inter-procedural)
C++ ★ 4 5y agoExplain → -
probabilistic-calling-context
Implementation of Mike Bond's PCC in LLVM
C++ ★ 4 6y agoExplain → -
clang-ast-tools
Python scripts for traversing Clang ASTs
Python ★ 3 5y agoExplain → -
unbreakable-ctf-s2e
Code for my blog post on solving Google's Unbreakable CTF challenge with S2E
C++ ★ 3 7y agoExplain → -
deepstate ⑂
A unit test-like interface for fuzzing and symbolic execution
C ★ 3 7y agoExplain → -
magma ⑂
A ground-truth binary fuzzing benchmark suite based on real programs with real bugs.
HTML ★ 1 2y agoExplain → -
llvm-halstead-complexity
Halstead complexity of LLVM
C++ ★ 1 5y agoExplain → -
kflat ⑂
KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of consecutive addresses
★ 1 1y agoExplain → -
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!
C ★ 1 3y agoExplain → -
fuzzer-test-suite ⑂
Set of tests for fuzzing engines
C ★ 1 5y agoExplain → -
latex-makefile
A simple Makefile for building LaTeX projects
Makefile ★ 1 8y agoExplain → -
jdivisitor-examples
Example applications using the JDIVisitor library
Java ★ 1 11y agoExplain → -
ghidra-rpc ⑂
A Ghidra agentic reverse engineering skill.
★ 0 11d agoExplain → -
adrianherrera.github.io
My website
HTML ★ 0 22d agoExplain → -
auto_off_target ⑂
AoT is a system for automatically generating off-target test harness by using build information.
★ 0 1y agoExplain → -
categorize-instructions
Intel Pin tool for categorizing x86 instructions
C++ ★ 0 2y agoExplain → -
range-analysis ⑂
Static range analysis for the LLVM compiler infrastructure.
Python ★ 0 3y agoExplain → -
simply-buggy
A collection of simple buggy example programs
C ★ 0 5y agoExplain → -
symcc ⑂
SymCC: efficient compiler-based symbolic execution
C++ ★ 0 3y agoExplain → -
yacc-calc
A simple yacc-based calculator
Yacc ★ 0 3y agoExplain → -
vimrc
My .vimrc. Adapted from https://github.com/amix/vimrc
Vim script ★ 0 5y agoExplain → -
llvm-instruction-classification
Classifies and counts LLVM instructions
C++ ★ 0 5y agoExplain → -
bind_free
Wrapper for binding a program to a free CPU
C ★ 0 6y agoExplain → -
simple-bmp
A simple BMP parser for experimenting with S2E
C ★ 0 8y agoExplain → -
pylint-string-checkers
Additional string checkers for pylint
Python ★ 0 9y agoExplain →
No repos match these filters.