Awesome Open Source

Programming Languages

Search results for binary analysis symbolic execution

binary-analysis x

symbolic-execution x

18 search results found

Manticore ⭐ 3,535

Symbolic execution tool

Triton ⭐ 3,285

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

Binary Analysis Platform

Angryghidra ⭐ 501

Use angr in Ghidra

Meandiff ⭐ 60

Testing Intermediate Representations for Binary Analysis

X Tunnel Opaque Predicates ⭐ 49

IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.

Crete Dev ⭐ 47

CRETE under development

Binary Decompilation ⭐ 37

Extracting high level semantic information from binary code

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

Juliet Dynamic ⭐ 16

Juliet C/C++ Dynamic Test Suite

A symbolic execution engine for EVM smart contract binaries

Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.

Interrupt_analysis ⭐ 10

Sydr Benchmark ⭐ 8

Sydr benchmark applications

Triton4delphi ⭐ 8

The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi

Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.

Whitesymex ⭐ 5

Symbolic execution engine for Whitespace.

Related Searches

Reverse Engineering Binary Analysis (76)

Python Symbolic Execution (75)

1-18 of 18 search results

Privacy | About | Terms | Follow Us On Twitter

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