Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for reverse engineering symbolic execution
reverse-engineering
x
symbolic-execution
x
14 search results found
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.
Miasm
⭐
3,253
Reverse engineering framework in Python
Bap
⭐
1,926
Binary Analysis Platform
Medusa
⭐
910
An open source interactive disassembler
Tigress_protection
⭐
776
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
Amoco
⭐
435
yet another tool for analysing binaries
Seninja
⭐
218
symbolic execution plugin for binary ninja
Exrop
⭐
164
Automatic ROPChain Generation
Icsref
⭐
128
A tool for reverse engineering industrial control systems binaries.
Naaz
⭐
75
Symbolic Execution Engine based on Ghidra's PCode
Dnd
⭐
52
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
X Tunnel Opaque Predicates
⭐
49
IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
Amphitrite
⭐
24
Symbolic debugging tool using JonathanSalwan/Triton
Triton4delphi
⭐
8
The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi
Related Searches
Python Reverse Engineering (631)
C Plus Plus Reverse Engineering (359)
Security Reverse Engineering (137)
Reverse Engineering Ida (128)
Reverse Engineering Disassembler (104)
Reverse Engineering Binary Analysis (76)
Python Symbolic Execution (75)
Capture The Flag Reverse Engineering (70)
Reverse Engineering Decompiler (67)
X86 Reverse Engineering (65)
1-14 of 14 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.