Awesome Open Source

Programming Languages

Search results for execution symbolic

72 search results found

Miasm ⭐ 3,253

Reverse engineering framework in Python

Awesome Symbolic Execution ⭐ 1,119

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Deepstate ⭐ 782

A unit test-like interface for fuzzing and symbolic execution

SymCC: efficient compiler-based symbolic execution

Angryghidra ⭐ 501

Use angr in Ghidra

Haybale ⭐ 458

Symbolic execution of LLVM IR with an engine written in Rust

Symbolic Execution ⭐ 412

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Symqemu ⭐ 267

SymQEMU: Compilation-based symbolic execution for binaries

Use angr in the IDA Pro debugger generating a state from the current debug session

symbolic execution engine for Rust

Symexbib ⭐ 239

A bibliography of papers related to symbolic execution

Python Exploration with Z3

Fuzzball ⭐ 212

FuzzBALL: Vine-based Binary Symbolic Execution

SymGDB - symbolic execution plugin for gdb

Safely execute an arbitrary x86 instruction

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

Seeding fuzzers with symbolic execution

Warbirdvm ⭐ 120

An analysis of the Warbird virtual-machine protection for the CI!g_pStore

Automatic Discrepancy Discovery for DPI Elusion

Esilsolve ⭐ 116

A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)

Pathgrind ⭐ 106

Path based Dynamic Analysis

Jpf Symbc ⭐ 104

Symbolic PathFinder

Symbolic Execution Tool in r2

minimal symbolic model checker & fuzzer

Symbolic Execution Tutorial ⭐ 73

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

Timeless debugging with symbolic execution and processor trace

Survey Symbolic Execution ⭐ 63

A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.

A symbolic execution engine for Python

Build your emulation environment as needed

A tiny KVM hypervisor written in Python

Python Symbolic Execution

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Triton based R2 plugin for concolic execution and total control

Crax Lab ⭐ 27

AIS3 CRAX lab demo

Symbolic execution inspired PHP application scanner for code-path discovery

rune - radare2 based symbolic emulator

Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) of IoT malware under the presence of obfuscation techniques e.g., indirect jumps and opaque predicates

Z3 Symbolic Execution python

Kleespectre ⭐ 21

KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

Symbolic Execution ⭐ 21

Applied Symbolic Execution with KLEE/LLVM

Wasabi Aeg ⭐ 21

Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.

Concolic analysis tool for Java

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

Symbolic Execution ⭐ 19

Colis Language ⭐ 18

A symbolic analyser for shell scripts.

Symbolic Execution over Falcon IL

Surveyor ⭐ 13

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

PoC for the taint-based ROP approach

Memsight ⭐ 11

MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)

Symbolic Trace ⭐ 11

Symbolic execution of LLVM IR traces for program understanding.

Sandshrew ⭐ 11

Underconstrained symbolic execution for cryptography verification

Monster is a symbolic execution engine for 64-bit RISC-U code

A proof of concept tool that demonstrates virtual machines, dynamic taint analysis, and symbolic execution.

Symbolic execution engine for JavaScript.

Symbion Use Cases ⭐ 8

Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution

Sydr Benchmark ⭐ 8

Sydr benchmark applications

Guest Tools ⭐ 8

Tools that run inside the guest

LLVM pass that obfuscates against symbolic execution

Symexec Engine Modoki ⭐ 7

Symbolic Execution Engine Modoki

Uafinator ⭐ 7

Mock up of UAF analysis through symbolic execution.

Askthecode ⭐ 7

Mini Symex ⭐ 7

Mini Symbolic Execution Engine in Python for Educational Purposes.

Angrypanda ⭐ 7

Panda-angr integration

a CIL-based dynamic symbolic execution (DSE) engine for C language

Bsc Thesis ⭐ 6

Symbolic Execution and Debugging Synchronization - Bsc Thesis

Homework Symbolic Execution ⭐ 5

Homework on symbolic execution for the course "DATA AND NETWORK SECURITY" (Sapienza University of Rome, Computer Science Department)

Seclab_eissec ⭐ 5

Extracting Instruction Semantics Via Symbolic Execution of Code Generators

Experiment ⭐ 5

The Chef symbolic execution platform, based off S2E

Multi-solver dynamic symbolic execution for JavaScript

Related Searches

Python Execution (930)

Javascript Execution (728)

Java Execution (637)

Python Symbolic (449)

Testing Execution (285)

C Execution (246)

1-72 of 72 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.