/amphitrite

Symbolic debugging tool using JonathanSalwan/Triton

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Amphitrite

Concolically debug executable binary using Triton with sequential programming experience.
Please see the examples for usage.

Install

# triton installer supports:
#  32bit - Ubuntu 14.04 with kernel 3.x (14.04.0-3 and their updates)
#  64bit - Ubuntu>=14.04
sudo python install_triton/install_triton.py  

sudo -H python2.7 -mpip install .

Note

Amphitrite does not work with master repo version of Triton. Please use Triton v0.5 release version.
This time only supports single-threaded and single-processed target binary.