symbolic-execution topic

List symbolic-execution repositories

malware-s2e

24
Stars
4
Forks
Watchers

Code for my blog post on using S2E for malware analysis

verified publisher icon adrianherrera

Ponce

1.5k
Stars
69
Forks
Watchers

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

verified publisher icon illera88

exrop

277
Stars
27
Forks
Watchers

Automatic ROPChain Generation

verified publisher icon d4em0n

CrossHair

962
Stars
49
Forks
Watchers

An analysis tool for Python that blurs the line between testing and type systems.

verified publisher icon pschanely

pakala

333
Stars
29
Forks
Watchers

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

verified publisher icon palkeo

miasm

3.4k
Stars
465
Forks
Watchers

Reverse engineering framework in Python

verified publisher icon cea-sec

Triton

3.4k
Stars
521
Forks
Watchers

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

verified publisher icon JonathanSalwan

stp

488
Stars
127
Forks
Watchers

Simple Theorem Prover, an efficient SMT solver for bitvectors

verified publisher icon stp

cgPwn

357
Stars
60
Forks
Watchers

A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks

verified publisher icon 0xM3R

manticore

3.6k
Stars
468
Forks
Watchers

Symbolic execution tool

verified publisher icon trailofbits