Tag: Triton

7 articles
Date Tue 02 May 2023
Authors Robin David, Christian Heitman
Category Program Analysis

We present TritonDSE, a new tool by Quarkslab. TritonDSE is a Python library, built on top of Triton, that provides easy and customizable Dynamic Symbolic Execution capabilities for binary programs.

Date Thu 25 June 2020
Authors Christian Heitman, Jonathan Salwan
Category Program Analysis

This blog post is a follow-up on the announcement of Triton v0.8, where we explain how we added support for ARMv7 and provide a guideline for adding new architectures.

Date Thu 03 October 2019
Author Luigi Coniglio
Category Program Analysis

Off-line dynamic trace analysis offers a number of advantages, which are illustrated in this blog post through several examples using internal tools we specially developed to automate trace collection and analysis.

Date Thu 12 July 2018
Author Jonathan Salwan
Category Program Analysis

This micro blog post introduces our research regarding symbolic deobfuscation of virtualized hash functions in collaboration with the CEA and VERIMAG.

Date Thu 07 September 2017
Authors Serge Guelton, Jonathan Salwan
Category Program Analysis

Some experiments to mistreat the Triton concolic execution framework through simple forged C programs.

Date Wed 10 June 2015
Author Jonathan Salwan
Category Program Analysis

Triton is a Pin-based concolic execution framework which provides some advanced classes to perform DBA.