Giters
Adrian Herrera (adrianherrera)

adrianherrera

Geek Repo

228

followers

22

following

169

stars

Location:Canberra, Australia

Home Page:https://adrianherrera.github.io/

Twitter:@0xadr1an

Github PK Tool:Github PK Tool

Organizations
HexHive
kaitai-io
S2E

Adrian Herrera's repositories

llvm-cfg-to-json

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

Language:C++License:NOASSERTIONStargazers:24Issues:3Issues:0

ball-larus-fuzz

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

Language:C++Stargazers:11Issues:3Issues:1

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!

Language:CLicense:Apache-2.0Stargazers:1Issues:0Issues:0

magma

A ground-truth binary fuzzing benchmark suite based on real programs with real bugs.

Language:HTMLStargazers:1Issues:1Issues:0

simply-buggy

A collection of simple buggy example programs

Language:CLicense:Apache-2.0Stargazers:1Issues:0Issues:0

treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

Language:RustLicense:MITStargazers:1Issues:1Issues:0

adrianherrera.github.io

Blog

Language:HTMLStargazers:0Issues:1Issues:0

Angora

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

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

categorize-instructions

Intel Pin tool for categorizing x86 instructions

Language:C++Stargazers:0Issues:0Issues:0

cclyzerpp

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

Language:C++License:BSD-3-ClauseStargazers:0Issues:1Issues:0

clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Language:CLicense:Apache-2.0Stargazers:0Issues:1Issues:0

crab

A library for building abstract interpretation-based analyses

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

EcoFuzz-Overhead

EcoFuzz-An adaptive energy-saving greybox fuzzer

Language:CStargazers:0Issues:0Issues:0

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

fuzzing-corpora-directory

License:Apache-2.0Stargazers:0Issues:0Issues:0

LibEBC

C++ Library and Tool for Extracting Embedded Bitcode

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

libxdc

The fastest Intel-PT decoder for fuzzing

Language:CLicense:MITStargazers:0Issues:1Issues:0

LIEF

LIEF - Library to Instrument Executable Formats

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

mull

Practical mutation testing tool for C and C++

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

Language:ShellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

parmesan

ParmeSan: Sanitizer-guided Greybox Fuzzing

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

range-analysis

Static range analysis for the LLVM compiler infrastructure.

Language:PythonStargazers:0Issues:1Issues:0

sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

sec-deadlines.github.io

Deadline countdowns for academic conferences in Security and Privacy

Language:HTMLStargazers:0Issues:1Issues:0

SVF

Static Value-Flow Analysis Framework for Source Code

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

symsan

A LLVM Sanitizer for Symbolic Tracing

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

udbserver

Unicorn Emulator Debug Server - Written in Rust, with bindings for C, Go, Java and Python

Language:RustLicense:MITStargazers:0Issues:0Issues:0

vimrc

My .vimrc. Adapted from https://github.com/amix/vimrc

Language:Vim ScriptStargazers:0Issues:2Issues:0

yacc-calc

A simple yacc-based calculator

Language:YaccStargazers:0Issues:2Issues:0