cherry-wb's repositories

qemu-dbaf

Official QEMU to be used as a dynamic binary analysis framework

Language:CLicense:NOASSERTIONStargazers:1Issues:2Issues:0

afl-qemu-cov

Measure Basic Blocks coverage of all testcases in the AFL queue using a patched QEMU

Language:CStargazers:0Issues:1Issues:0

AFLplusplus

afl++ is afl 2.56b with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode and a lot more!

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

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0
Language:MakefileStargazers:0Issues:2Issues:0

cb-multios

DARPA Challenges Sets for Linux, Windows, and macOS

Language:CLicense:MITStargazers:0Issues:3Issues:0

deepstate

A unit test-like interface for fuzzing and symbolic execution

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

docs

Documentation and Quick Start Guides for the S2E Symbolic Execution Platform

Language:PythonStargazers:0Issues:2Issues:0

ghidra

Ghidra is a software reverse engineering (SRE) framework

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

guest-images

Scripts to automatically create VM images

Language:ShellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

guest-tools

Tools that run inside the guest

Language:CStargazers:0Issues:1Issues:0

honggfuzz

Security oriented fuzzer with powerful analysis options. Supports evolutionary, feedback-driven fuzzing based on code coverage (software- and hardware-based)

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

klee

Stripped down version of KLEE (original on https://klee.github.com)

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

libcpu

x86 Dynamic Binary Translator Library

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

libfsigcxx

Fast drop-in replacement for libsigc++

Language:C++License:MITStargazers:0Issues:2Issues:0

libs2ecore

S2E Core Engine Library

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

libs2eplugins

S2E plugins library

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

manifest

Contains the Google repo manifests to manage S2E sources

Stargazers:0Issues:2Issues:0

openstacksdk

Unified SDK for OpenStack. Mirror of code maintained at opendev.org.

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

pyrebox

Python scriptable Reverse Engineering Sandbox, a Virtual Machine instrumentation and inspection framework based on QEMU

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

qiling

Qiling Advanced Binary Emulation Framework

Language:PythonLicense:GPL-2.0Stargazers:0Issues:2Issues:0

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0
Language:PythonLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

retrowrite

RetroWrite -- Retrofitting compiler passes though binary rewriting

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

s2e-env

Your S2E project management tools. Visit https://s2e.systems/docs to get started.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

stabilizer

Stabilizer: Rigorous Performance Evaluation

Language:PerlStargazers:0Issues:2Issues:0
Stargazers:0Issues:3Issues:0

testsuite

S2E testsuite and various benchmarks

Language:CLicense:MITStargazers:0Issues:2Issues:0

unicornafl

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

z3

The Z3 Theorem Prover

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