Simpx

A proof of concept tool that demonstrates virtual machines, dynamic taint analysis, and symbolic execution.
Alternatives To Simpx
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Triton3,285121 days 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
5 months ago40mitOCaml
Binary Analysis Platform
Angora867
2 years ago39apache-2.0C++
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Tigress_protection776
5 months ago4LLVM
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.
Pathgrind106
7 years agogpl-3.0C
Path based Dynamic Analysis
Pa.llvm36
7 years agogpl-3.0C++
Program Analysis for LLVM
Simpx9
11 years agoPython
A proof of concept tool that demonstrates virtual machines, dynamic taint analysis, and symbolic execution.
Triton4delphi8
6 months agoapache-2.0Pascal
The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi
Taint Em All5
3 years agoapache-2.0JavaScript
Alternatives To Simpx
Select To Compare


Alternative Project Comparisons
Popular Taint Analysis Projects
Popular Symbolic Execution Projects
Popular Security Categories

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