Tag: program analysis

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

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

We recently began to work on source code analysis and the main objective was to easily collaborate on a same analysis. So, we started to develop a framework based on Clang that will be described in this blog post.