Alternatives To Crete Dev
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Manticore3,535116 months ago1,137December 09, 2023264agpl-3.0Python
Symbolic execution tool
Triton3,15713 months ago3December 23, 202216apache-2.0C++
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Bap1,926
4 months ago40mitOCaml
Binary Analysis Platform
Angryghidra501
2 months agomitJava
Use angr in Ghidra
Meandiff60
5 years ago28mitF#
Testing Intermediate Representations for Binary Analysis
X Tunnel Opaque Predicates49
5 years agoPython
IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
Crete Dev47
6 years ago30otherC
CRETE under development
Crusher37
3 months agomitPython
Binary Decompilation37
5 years ago3otherAssembly
Extracting high level semantic information from binary code
Rel31
6 months ago3lgpl-2.1OCaml
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Alternatives To Crete Dev
Select To Compare


Alternative Project Comparisons
Popular Binary Analysis Projects
Popular Symbolic Execution Projects
Popular Runtime Environments Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Binary Analysis
Symbolic Execution