Awesome Open Source

Programming Languages

Search results for symbolic execution triton

symbolic-execution x

11 search results found

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.

SymGDB - symbolic execution plugin for gdb

Automatic ROPChain Generation

Static analysis & deobfuscation framework for x86/x64

Build your emulation environment as needed

Coin Attacks ⭐ 26

COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020

Amphitrite ⭐ 24

Symbolic debugging tool using JonathanSalwan/Triton

Wasabi Aeg ⭐ 21

Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.

Awesome Computer Science ⭐ 20

Collect computer related materials and codes

Sydr Benchmark ⭐ 8

Sydr benchmark applications

Triton4delphi ⭐ 8

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

Related Searches

Python Symbolic Execution (68)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

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