Triton

Triton è una libreria di analisi binaria dinamica. Fornisce componenti interni che ti permettono di costruire i tuoi strumenti di analisi dei programmi, automatizzare il reverse engineering, eseguire la verifica del software o semplicemente emulare codice. Esecuzione simbolica dinamica Analisi...

Triton - Dynamic Binary Analysis (DBA) Framework

Triton is a dynamic binary analysis DBA framework. It provides internal components like a Dynamic Symbolic Execution DSE engine, a Taint engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least...

Dynamic Binary Analysis Tool: Manticore

Manticore is a prototyping tool for dynamic binary analysis, with support for symbolic execution, taint analysis, and binary instrumentation. Manticore comes with an easy-to-use command line tool that quickly generates new program “test cases” or sample inputs with symbolic execution. Each test...