List view

Enable to use Python 3.9

Bindings

Compile

Feature

Status: Merged (completed).

JonathanSalwan/Tritonnumber 999

#999 In JonathanSalwan/Triton;

· by romainthomas was closed on Mar 3, 2021

Performance improvements for concrete memory

Core

Enhancement

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1003

#1003 In JonathanSalwan/Triton;

· by ek0 was closed on Mar 12, 2021

Disassemble to control flow instruction from concrete memory

Core

Disassembly

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1007

#1007 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Mar 13, 2021

Append missing instruction symbolic expressions when AST_OPTIMIZATIONS are enabled

Bug

libTriton

Solver Engine

Symbolic Optimization

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1005

#1005 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Mar 11, 2021

Fix - PYTHON_VERSION_STRING may be empty

Bug

Compile

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1004

#1004 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Mar 11, 2021

Utility functions

Enhancement

Feature

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 987

#987 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Feb 25, 2021

Fix the neg operation in python AST representation

AST Representation

Bug

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 985

#985 In JonathanSalwan/Triton;

· by patacca was closed on Feb 5, 2021

use vcpkg to reference libraries

Compile

Enhancement

libTriton

Windows

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1034

#1034 In JonathanSalwan/Triton;

· by ZhouZiY was closed on Aug 10, 2021

AST optimization for ite node: True ? A : B => A, False ? A : B => B

AST

Feature

libTriton

Symbolic Optimization

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1033

#1033 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Jul 26, 2021

added a fix for reference counting with python callbacks

Core

Enhancement

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1038

#1038 In JonathanSalwan/Triton;

· by jordan9001 was closed on Aug 18, 2021

Add more ARM32 instructions semantics

Enhancement

Feature

ISA Semantics

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1011

#1011 In JonathanSalwan/Triton;

· by black-binary was closed on Apr 20, 2021

Support overriding of global solving timeout per request

Feature

libTriton

Symbolic Engine

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1044

#1044 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Sep 8, 2021

Fix syscall semantics on AMD32

Bug

ISA Semantics

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 1039

#1039 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Aug 24, 2021

Print sliced expressions conjuncts asserts line by line

Enhancement

libTriton

Symbolic Engine

Status: Merged (completed).

JonathanSalwan/Tritonnumber 954

#954 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Oct 7, 2020

Create volatile expression for extended part to avoid long formulas while printing

Enhancement

libTriton

Symbolic Optimization

Status: Merged (completed).

JonathanSalwan/Tritonnumber 955

#955 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Oct 7, 2020

Update Z3 to 4.8.9

Compile

Enhancement

External tool

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 948

#948 In JonathanSalwan/Triton;

· by XVilka was closed on Sep 11, 2020

New instructions semantics

Feature

ISA Semantics

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 952

#952 In JonathanSalwan/Triton;

· by apach301 was closed on Oct 8, 2020

Fix citation

Documentation

Enhancement

Status: Merged (completed).

JonathanSalwan/Tritonnumber 961

#961 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Oct 23, 2020

Force to use python3 binary

Bug

External tool

Status: Merged (completed).

JonathanSalwan/Tritonnumber 970

#970 In JonathanSalwan/Triton;

· by XVilka was closed on Nov 25, 2020

Fix PINSRW instruction

Bug

ISA Semantics

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 959

#959 In JonathanSalwan/Triton;

· by apach301 was closed on Oct 14, 2020

Add memory limit parameter for z3

Feature

libTriton

Solver Engine

Status: Merged (completed).

JonathanSalwan/Tritonnumber 964

#964 In JonathanSalwan/Triton;

· by apach301 was closed on Nov 23, 2020

Fix - string instruction without REP prefix does not require CX

Bug

ISA Semantics

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 937

#937 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Aug 15, 2020

Add x86 VMOVD/VMOVQ semantics

Feature

ISA Semantics

libTriton

Status: Merged (completed).

JonathanSalwan/Tritonnumber 941

#941 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Aug 20, 2020

Implement bvmul AST simplification A * 1 == A

Feature

libTriton

Symbolic Optimization

Status: Merged (completed).

JonathanSalwan/Tritonnumber 938

#938 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Aug 18, 2020

Implement extract AST simplifications

Feature

libTriton

Symbolic Optimization

Status: Merged (completed).

JonathanSalwan/Tritonnumber 939

#939 In JonathanSalwan/Triton;

· by SweetVishnya was closed on Sep 15, 2020