Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Binary Analysis Symbolic Execution Open Source Projects

Open source projects categorized as Binary Analysis Symbolic Execution
Categories > Runtime Environments > Binary Analysis
Categories > Security > Symbolic Execution
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
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.
dependent packages 1total releases 3most recent commit 15 days agopypi triton-library} Downloads
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 5 months ago
Angryghidra ⭐ 501
Use angr in Ghidra
most recent commit 3 months ago
Meandiff ⭐ 60
Testing Intermediate Representations for Binary Analysis
most recent commit 5 years ago
X Tunnel Opaque Predicates ⭐ 49
IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
most recent commit 5 years ago
Crete Dev ⭐ 47
CRETE under development
most recent commit 6 years ago
Crusher ⭐ 37
most recent commit 3 months ago
Binary Decompilation ⭐ 37
Extracting high level semantic information from binary code
most recent commit 5 years ago
Rel ⭐ 31
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
most recent commit 7 months ago
Juliet Dynamic ⭐ 16
Juliet C/C++ Dynamic Test Suite
most recent commit a year ago
Greed ⭐ 16
A symbolic execution engine for EVM smart contract binaries
most recent commit 3 months ago
Haunted ⭐ 15
Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
most recent commit 6 months ago
Interrupt_analysis ⭐ 10
most recent commit 7 years ago
Sydr Benchmark ⭐ 8
Sydr benchmark applications
most recent commit 2 years ago
Triton4delphi ⭐ 8
The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi
most recent commit 6 months ago
Binclass ⭐ 7
Recovering Object information from a C++ compiled Binary/Malware (mainly written for PE files) , linked dynamically and completely Stripped.
most recent commit 7 years ago
Whitesymex ⭐ 5
Symbolic execution engine for Whitespace.
most recent commit 3 years ago
The 2 Most Depended On Binary Analysis Symbolic Execution Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
The 2 Latest Releases In Binary Analysis Symbolic Execution Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Popular Runtime Environments Categories
Virtualenv
Wine
Netstandard
Ipython Notebook
Nwjs
Version Manager
Pm2
Cef
Xamarin Android
Binary Analysis
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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