All Projects → S2E → S2e

S2E / S2e

Licence: other
S2E: A platform for multi-path program analysis with selective symbolic execution.

Projects that are alternatives of or similar to S2e

Cv4pve Autosnap
Automatic snapshot tool for Proxmox VE
Stars: ✭ 123 (+20.59%)
Mutual labels:  vm, qemu, kvm
Kvm Guest Drivers Windows
Windows paravirtualized
Stars: ✭ 892 (+774.51%)
Mutual labels:  drivers, qemu, kvm
Reko
Reko is a binary decompiler.
Stars: ✭ 942 (+823.53%)
Mutual labels:  x86, reverse-engineering
Android Unpacker
Android Unpacker presented at Defcon 22: Android Hacker Protection Level 0
Stars: ✭ 944 (+825.49%)
Mutual labels:  reverse-engineering, qemu
Bap
Binary Analysis Platform
Stars: ✭ 1,385 (+1257.84%)
Mutual labels:  x86, reverse-engineering
Qbdi
A Dynamic Binary Instrumentation framework based on LLVM.
Stars: ✭ 801 (+685.29%)
Mutual labels:  llvm, reverse-engineering
Keypatch
Multi-architecture assembler for IDA Pro. Powered by Keystone Engine.
Stars: ✭ 939 (+820.59%)
Mutual labels:  x86, reverse-engineering
Baresifter
A bare-metal x86 instruction set fuzzer a la Sandsifter
Stars: ✭ 33 (-67.65%)
Mutual labels:  x86, reverse-engineering
Runq
run regular Docker images in KVM/Qemu
Stars: ✭ 616 (+503.92%)
Mutual labels:  qemu, kvm
Codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Stars: ✭ 1,209 (+1085.29%)
Mutual labels:  analysis, llvm
Dockerpi
A Virtualised Raspberry Pi inside a Docker image
Stars: ✭ 1,064 (+943.14%)
Mutual labels:  vm, qemu
Php Malware Analysis
Deobfuscation and analysis of PHP malware captured by a WordPress honey pot
Stars: ✭ 82 (-19.61%)
Mutual labels:  analysis, reverse-engineering
Arm now
arm_now is a qemu powered tool that allows instant setup of virtual machines on arm cpu, mips, powerpc, nios2, x86 and more, for reverse, exploit, fuzzing and programming purpose.
Stars: ✭ 719 (+604.9%)
Mutual labels:  x86, qemu
Dotnet Assembly Grapher
Reverse engineering and software quality assurance tool for .NET assemblies
Stars: ✭ 21 (-79.41%)
Mutual labels:  analysis, reverse-engineering
Remill
Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode
Stars: ✭ 633 (+520.59%)
Mutual labels:  llvm, x86
Reverse Engineering
This repository contains some of the executables that I've cracked.
Stars: ✭ 29 (-71.57%)
Mutual labels:  x86, reverse-engineering
Barf Project
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
Stars: ✭ 1,280 (+1154.9%)
Mutual labels:  x86, reverse-engineering
Xanalyzer
xAnalyzer plugin for x64dbg
Stars: ✭ 553 (+442.16%)
Mutual labels:  analysis, reverse-engineering
The holy book of x86
A simple guide to x86 architecture, assembly, memory management, paging, segmentation, SMM, BIOS....
Stars: ✭ 577 (+465.69%)
Mutual labels:  x86, reverse-engineering
Kata Containers
Kata Containers version 2.x repository. Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
Stars: ✭ 1,053 (+932.35%)
Mutual labels:  qemu, kvm

S2E Library

This repository contains all the necessary components to build libs2e.so. This shared library is preloaded in QEMU to enable symbolic execution.

Please refer to the documentation in the docs directory for build and usage instructions. You can also find it online on https://s2e.systems/docs.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].