Vybe Guide
Sign Up

Explore Projects

Discover 8 open source projects

Active filters (1):
Search: symbolic-execution×
Clear all

Showing 1-8 of 8 projects

trailofbits/manticore

Manticore is a symbolic execution tool for analyzing the behavior of binary programs, smart contracts, and more.

3.8K
Stable
Python
Testing
Security Research
Python
#binary-analysis#program-analysis#symbolic-execution

cea-sec/miasm

A reverse engineering framework in Python with assembler, disassembler, emulator, and symbolic execution capabilities.

3.8K
Archived
Python
Security Research
#reverse-engineering#disassembler#emulator

klee/klee

KLEE is a symbolic execution engine for C/C++ programs, useful for software testing and analysis.

2.9K
Active
C++
Testing
API Frameworks
#symbolic-execution#software-testing#static-analysis

ksluckow/awesome-symbolic-execution

A curated list of awesome symbolic execution resources for developers working with AI tools.

1.5K
Experimental
Dynamic Analysis
CLI Tools
#symbolic-execution#dynamic-analysis#research-papers

JonathanSalwan/VMProtect-devirtualization

A tool for automatically deobfuscating VMProtect-protected programs using symbolic execution and LLVM.

1.4K
Archived
Roff
Program Analysis
#deobfuscation#vmprotect#program-analysis

pschanely/CrossHair

CrossHair is a static and dynamic analysis tool for Python that blends testing and type systems.

1.3K
Active
Python
Testing
API Frameworks
Python
#static-analysis#dynamic-analysis#symbolic-execution

wisk/medusa

An open source interactive disassembler written in C++ for reverse-engineering and symbolic execution.

1.1K
Archived
C++
CLI Tools
API Frameworks
#disassembler#emulator#reverse-engineering

AliveToolkit/alive2

Automatic verification of LLVM optimizations using symbolic execution and model checking

1.1K
Active
C++
CLI Tools
API Frameworks
#automatic-verification#llvm#llvm-ir

Stay in the loop

Get weekly updates on trending AI coding tools and projects.