http://open-source-security-software.net/project/Triton/releases.atom 2026-06-13T02:47:28.167497+00:00 python-feedgen Triton v0.1 2015-06-25T14:19:12+00:00 Basically, this first version contains: - A dynamic symbolic execution engine - A translation of instructions into SMT-LIB v2.0 - A solver interface - A snapshot engine - A taint engine - Python bindings on Triton and Pin's features - 114 supported semantics - A memory tracer tool - A database generation tool - A format string bug analysis tool - A use-after-free bug analysis tool - A documentation 2015-06-25T14:19:12+00:00 Triton v0.2 2015-11-29T13:12:50+00:00 For this version, we have pushed [272 commits](https://github.com/JonathanSalwan/Triton/compare/v0.1...v0.2) and closed [84 issues](https://github.com/JonathanSalwan/Triton/issues?q=milestone%3Av0.2) since the v0.1. Several efforts have been done around the execution speed and the RAM management. Then, a big step forward has been done on the semantics manipulation. To be short, below is the list of the main features added. - 32-bits support - Semantics representation as AST - Eval SMT expressions - Generate several models - Create and modify your own AST - Improve engines - Speed up execution - Blacklist and whitelist of jited images - Less RAM consumption - Add semantics - Bugs fixed - Code coverage tool 2015-11-29T13:12:50+00:00 Triton v0.3 2016-01-26T10:30:52+00:00 This version is a big step forward for the project. The version v0.3 allows you to plug any kind of tracers (e.g: Valgrind, Qemu, Pin, DynamoRIO, ...), allows you to simplify your symbolic expressions, to perform symbolic optimizations, to perform online or offline analysis, the libTriton is now available on OSX, Linux and Windows (without pintool), there is a new C++ and Python API and many more... Below, the short list of the main features added. - Externalize analysis from pintool (see #226) - libTriton available on OSX, Linux and Windows (without the pintool) - Tracer independent (see [doc](http://triton.quarkslab.com/documentation/doxygen/Tracer_page.html)) - SMT Simplification Passes (see [doc](http://triton.quarkslab.com/documentation/doxygen/SMT_simplification_page.html)) - New semantics format (see [source](http://triton.quarkslab.com/documentation/doxygen/x86Semantics_8cpp_source.html)) - Offline / Online analysis - Symbolic Optimizations (see [doc](http://triton.quarkslab.com/documentation/doxygen/py_OPTIMIZATION_page.html)) - New C++ and Python API - Switch to Capstone for a multi-arch design - Semantics bug fix - Engines bug fix 2016-01-26T10:30:52+00:00 Triton v0.4 2016-11-17T09:08:04+00:00 This version has been pushed due to the new design philosophy of the next one (v0.5). However, this version provides [95 new features and bug fixes](https://github.com/JonathanSalwan/Triton/milestone/5?closed=1). 2016-11-17T09:08:04+00:00 Triton v0.5 2017-07-18T15:13:58+00:00 Nothing awesome in this release, mainly focused on bug fixes. The full detail of upgrades can be found [here](https://github.com/JonathanSalwan/Triton/issues?q=is%3Aclosed+milestone%3Av0.5). The version `0.5` has been pushed due to the new philosophy and design of the version `0.6`. This version will be maintained few months over the `dev-v0.5` branch. However, we recommend people to directly switch into the `dev-v0.6`. * Lot of bugs fixed * Some API renamed * 11 new instruction semantics * A new CMake design 2017-07-18T15:13:58+00:00 Triton v0.6 2018-11-12T10:35:05+00:00 Version `0.6` provides new features, fixes and big improvements in term of design compared to `0.5`. The full list and details of these changes can be found in the the [Github issues interface](https://github.com/JonathanSalwan/Triton/milestone/8?closed=1). Version `0.6` has been pushed in order to prepare a new version (`0.7`) which will focus on AArch64 support already in [development](https://github.com/JonathanSalwan/Triton/compare/dev-aarch64). 2018-11-12T10:35:05+00:00 Triton v0.7 2019-10-01T11:57:34+00:00 This version is a big step forward for the project. Below some improvements which have been made: * AArch64 support (more than 100 instructions [supported](https://triton.quarkslab.com/documentation/doxygen/SMT_aarch64_Semantics_Supported_page.html)) * Android support * Python 3.6 support * Fix some of [bugs](https://github.com/JonathanSalwan/Triton/issues?q=is%3Aissue+label%3ABug+is%3Aclosed) * Capstone 3.0.x and 4.0.x support * Fix some memory leaks * Shortcut access to a Register over the C++ API (#767) * Allow users to set alias on a symbolic variable (#763) * Provide a *visitor feature* in order to looking specific nodes in a tree (#711) * ```iff``` SMT node support (#571) All updates can be found [here](https://github.com/JonathanSalwan/Triton/milestone/9?closed=1). 2019-10-01T11:57:34+00:00 Triton v0.8 2020-04-23T12:46:28+00:00 We are glad to announce the release of Triton v0.8 which brings the ARM32 architecture and much more! All fixes and improvements can be found [here](https://github.com/JonathanSalwan/Triton/milestone/10?closed=1) and a blog post describing what's new in the v0.8 has been [released](https://blog.quarkslab.com/triton-v08-is-released.html). 2020-04-23T12:46:28+00:00 Triton v0.8.1 2020-04-27T10:03:12+00:00 This release is based on the `v0.8` and only contains the regression patch (72cf02b931c2352a47cb0e8ddb291b60a2e66d5b) related to the ALIGNED_MEMORY optimization issue (see #889). 2020-04-27T10:03:12+00:00 Triton v0.9 2022-02-09T10:16:57+00:00 We are glad to announce the release of Triton v0.9 which brings several features: * Better dealing with path constraints * Lifting To SMT file * Lifting to Python file * Lifting to LLVM file * Lifting to LLVM IR and back * Python from 3.6 to 3.9 comparability * Add new AST optimizations * Add new instructions * Add FPU specification * Add support for Thumb IT instructions * Add the Bitwuzla solver interface * Add a synthesis expression engine * Fix semantics * Fix optimizations * And so many [more](https://github.com/JonathanSalwan/Triton/milestone/11?closed=1) 2022-02-09T10:16:57+00:00