xorpse Goto Github PK

akhlys

amoco

yet another tool for analysing binaries

antiis

approxis-groundtruth

armageddon

This repository contains tools to perform modern cache attacks on ARM.

bap

Binary Analysis Platform

bap-pintraces

bib

binaryninja-api

Public API, examples, documentation and issues for Binary Ninja

bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

boolector-rs

Safe high-level bindings for the Boolector SMT solver

camljava

Low-level OCaml/Java interface

capstone-ocaml

OPAM friendly bindings to capstone library

cbindgen

A project for generating C bindings from Rust code

cfasttext

A fastText C wrapper

conf-capstone

OPAM package to check if capstone library is installed

efixplorer

IDA plugin for UEFI firmware analysis and reverse engineering automation

egg

egg is a flexible, high-performance e-graph library

everywhereml

extint-library

Extended integer library for handling large integers in C and assembly language. (NOT THREAD SAFE)

faiss-rs

Rust language bindings for Faiss

falcon

Formal Binary Analysis Framework in Rust

fasttext-rs

fastText Rust binding

flapigen-rs

Tool for connecting programs or libraries written in Rust with other languages

fuzz_with_emus

Why fuzzing with emulators is amazing

ghidra-aal

Ghidra is a software reverse engineering (SRE) framework

gllvm

Whole Program LLVM: wllvm ported to go

goblin

An impish, cross-platform binary parsing crate, written in Rust

gtirb

Intermediate Representation for Binary analysis and transformation