usc-isi-bass Goto Github PK

afl-cov

AFL fuzzing coverage CFG visualization

aflgo

Directed Greybox Fuzzing with AFL

angr

A powerful and user-friendly binary analysis platform!

angr-static-analysis-for-vuzzer64

Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool

autocps

Control Software Dataset Generation for Semantic Reverse Engineering

benchmark-generator

A random testcase generator for program analysis. Provides a program and its Bounded Model Checking smt-formula

binalyzer

A framework for running analyses on a number of target binary executables automatically.

binaries

A repository with binaries for angr tests and examples.

binary_analysis

binutils-gdb_ztrim

bn_rpc

Run your Binary Ninja Python console in a separate Terminal window.

cxxfilt_ztrim

fuzz-introspector

Fuzz Introspector

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

ghidra

Ghidra is a software reverse engineering (SRE) framework

hashdos_vulnerability_detection

A project to detect vulnerability to hash collision denial of service attacks.

http-garden

Differential testing and fuzzing of HTTP servers and proxies

idc_importer

A Binary Ninja plugin for importing IDC database dumps from IDA.

libpng_ztrim

libtiff_ztrim

libxml2_ztrim

lrzip

Long Range Zip

magma

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

math_to_symbexpr_map_generation

We generate mappings between random mathematical expressions their corresponding symbolic expressions.

php

pypcode

Python bindings to Ghidra's SLEIGH library for disassembly and IR translation

pyvex

Python bindings for Valgrind's VEX IR.

smellcps-ghidra-plugin

snudown

reddit's markdown renderer. based on sundown.

symbol_importer

A plugin for Binary Ninja to load symbols from .map files