-
Official QEMU to be used as a dynamic binary analysis framework
-
qiling Public
Forked from qilingframework/qilingQiling Advanced Binary Emulation Framework
Python GNU General Public License v2.0 UpdatedAug 4, 2023 -
stabilizer Public
Forked from ccurtsinger/stabilizerStabilizer: Rigorous Performance Evaluation
Perl UpdatedMar 19, 2021 -
s2e-env Public
Forked from S2E/s2e-envYour S2E project management tools. Visit https://s2e.systems/docs to get started.
Python Other UpdatedFeb 28, 2021 -
openstacksdk Public
Forked from openstack/openstacksdkUnified SDK for OpenStack. Mirror of code maintained at opendev.org.
Python Apache License 2.0 UpdatedNov 23, 2020 -
pyrebox Public
Forked from Cisco-Talos/pyreboxPython scriptable Reverse Engineering Sandbox, a Virtual Machine instrumentation and inspection framework based on QEMU
C GNU General Public License v2.0 UpdatedJul 28, 2020 -
A powerful and user-friendly binary analysis platform!
Python BSD 2-Clause "Simplified" License UpdatedMay 27, 2020 -
unicornafl Public
Forked from domenukk/unicornaflUnicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
C GNU General Public License v2.0 UpdatedMar 30, 2020 -
guest-images Public
Forked from S2E/guest-imagesScripts to automatically create VM images
Shell Other UpdatedFeb 28, 2020 -
cb-multios Public
Forked from trailofbits/cb-multiosDARPA Challenges Sets for Linux, Windows, and macOS
C MIT License UpdatedFeb 22, 2020 -
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusafl++ 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!
C Apache License 2.0 UpdatedFeb 18, 2020 -
deepstate Public
Forked from trailofbits/deepstateA unit test-like interface for fuzzing and symbolic execution
Python Apache License 2.0 UpdatedFeb 17, 2020 -
honggfuzz Public
Forked from google/honggfuzzSecurity oriented fuzzer with powerful analysis options. Supports evolutionary, feedback-driven fuzzing based on code coverage (software- and hardware-based)
C Apache License 2.0 UpdatedFeb 17, 2020 -
ghidra Public
Forked from NationalSecurityAgency/ghidraGhidra is a software reverse engineering (SRE) framework
Java Apache License 2.0 UpdatedFeb 13, 2020 -
-
afl-qemu-cov Public
Forked from andreafioraldi/afl-qemu-covMeasure Basic Blocks coverage of all testcases in the AFL queue using a patched QEMU
C UpdatedJan 24, 2020 -
qsym Public
Forked from sslab-gatech/qsymQSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
C++ Other UpdatedJan 14, 2020 -
-
manifest Public
Forked from S2E/manifestContains the Google repo manifests to manage S2E sources
UpdatedJan 8, 2020 -
Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
Python UpdatedJan 2, 2020 -
retrowrite Public
Forked from HexHive/retrowriteRetroWrite -- Retrofitting compiler passes though binary rewriting
Python MIT License UpdatedDec 30, 2019 -
guest-tools Public
Forked from S2E/guest-toolsTools that run inside the guest
C UpdatedDec 25, 2019 -
libs2eplugins Public
Forked from S2E/libs2epluginsS2E plugins library
C++ Other UpdatedDec 23, 2019 -
testsuite Public
Forked from S2E/testsuiteS2E testsuite and various benchmarks
C MIT License UpdatedDec 23, 2019 -
-
Stripped down version of KLEE (original on https://klee.github.com)
C++ Other UpdatedDec 17, 2019 -
libfsigcxx Public
Forked from chubbymaggie/libfsigcxxFast drop-in replacement for libsigc++
C++ MIT License UpdatedDec 15, 2019 -
-
redqueen Public
Forked from YoshikiTakashima/redqueenPython GNU Affero General Public License v3.0 UpdatedDec 7, 2019 -
libcpu Public
Forked from S2E/libcpux86 Dynamic Binary Translator Library
C Other UpdatedDec 6, 2019