Awesome Open Source

Programming Languages

Search results for symbolic execution taint analysis

symbolic-execution x

taint-analysis x

9 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.

Binary Analysis Platform

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

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.

Pathgrind ⭐ 106

Path based Dynamic Analysis

Program Analysis for LLVM

A proof of concept tool that demonstrates virtual machines, dynamic taint analysis, and symbolic execution.

Triton4delphi ⭐ 8

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

Taint Em All ⭐ 5

Related Searches

Python Symbolic Execution (75)

C Plus Plus Symbolic Execution (39)

Fuzzing Symbolic Execution (33)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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