From d4b0208a03b26835bec17592b1b65138fb07cfc5 Mon Sep 17 00:00:00 2001 From: Jonathan Salwan Date: Tue, 15 Aug 2023 13:48:58 +0200 Subject: [PATCH] Update readme --- README.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index a8c8f3833..89c57097e 100644 --- a/README.md +++ b/README.md @@ -101,7 +101,7 @@ Triton relies on the following dependencies: * libboost (optional) >= 1.68 * libpython (optional) >= 3.6 * libz3 (optional) >= 4.6.0 https://github.com/Z3Prover/z3 -* libbitwuzla (optional) n/a https://github.com/bitwuzla/bitwuzla +* libbitwuzla (optional) >= 1.x https://github.com/bitwuzla/bitwuzla * llvm (optional) >= 12 ``` @@ -200,6 +200,7 @@ Triton is strongly powered by [Quarkslab](https://quarkslab.com) for years but a * [**Christian Heitman**](https://github.com/cnheitman) - Quarkslab * [**Daniil Kuts**](https://github.com/apach301) - ISP RAS * [**Jessy Campos**](https://github.com/ek0) - n/a +* [**Jonathan Salwan**](https://twitter.com/JonathanSalwan) - CSI:Bdx, Quarkslab, VERIMAG, CEA-List * [**Matteo F.**](https://twitter.com/fvrmatteo) - n/a * [**Pierrick Brunet**](https://github.com/pbrunet) - Quarkslab * [**PixelRick**](https://github.com/PixelRick) - n/a @@ -211,10 +212,11 @@ Triton is strongly powered by [Quarkslab](https://quarkslab.com) for years but a ### Tools +* [Exrop](https://github.com/d4em0n/exrop): Automatic ROPChain Generation. +* [Pimp](https://github.com/kamou/pimp): Triton based R2 plugin for concolic execution and total control. * [Ponce](https://github.com/illera88/Ponce): IDA 2016 plugin contest winner! Symbolic Execution just one-click away! * [QSynthesis](https://github.com/quarkslab/qsynthesis): Greybox Synthesizer geared for deobfuscation of assembly instructions. -* [Pimp](https://github.com/kamou/pimp): Triton based R2 plugin for concolic execution and total control. -* [Exrop](https://github.com/d4em0n/exrop): Automatic ROPChain Generation. +* [TritonDSE](https://github.com/quarkslab/tritondse): Triton-based DSE library with loading and exploration capabilities. ### Papers and conference