Skip to content

Commit

Permalink
Update readme
Browse files Browse the repository at this point in the history
  • Loading branch information
JonathanSalwan committed Aug 15, 2023
1 parent 6125300 commit d4b0208
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
```

Expand Down Expand Up @@ -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
Expand All @@ -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

Expand Down

0 comments on commit d4b0208

Please sign in to comment.