Search results

autocomplete for python bindings

Status: Open.

#1387 In JonathanSalwan/Triton;

· icev154 opened on Feb 4, 2025

ctx.isSat() has no timeout param

Status: Open.

#1385 In JonathanSalwan/Triton;

· teropentis64 opened on Dec 31, 2024

Consider switching to python ABI packages cp38

Status: Open.

#1383 In JonathanSalwan/Triton;

· mrexodia opened on Dec 24, 2024

The getVariableNode is not being exported

Status: Open.

#1375 In JonathanSalwan/Triton;

· oureveryday opened on Nov 20, 2024

simplify llvm: IteNode::init(): Must take either two logical nodes or two bv nodes as 'then' and 'else' branches.

Status: Open.

#1358 In JonathanSalwan/Triton;

· KarlVogel opened on Aug 29, 2024

Why do children of a node with type 'triton::ast::ast_e::REFERENCE_NODE' not exist?

Status: Open.

#1356 In JonathanSalwan/Triton;

· sudmit0802 opened on Aug 28, 2024

MEMORY_ARRAY and sub-word symbolic reasoning

Status: Open.

#1353 In JonathanSalwan/Triton;

· 0x9047 opened on Aug 21, 2024

SET_CONCRETE_MEMORY_VALUE callback invoked when performing symbolic memory read in MEMORY_ARRAY mode

Status: Open.

#1352 In JonathanSalwan/Triton;

· 0x9047 opened on Aug 21, 2024

make -j3 capstone

Status: Open.

#1347 In JonathanSalwan/Triton;

· yorkyman opened on Jul 28, 2024

Inconsistency between liftToSMT and isSat when MEMORY_ARRAY is enabled

Feature

libTriton

Solver Engine

Status: Open.

#1319 In JonathanSalwan/Triton;

· NVThufv opened on Apr 19, 2024

Trying to collect symbolic address from MemoryAccess

Help & Info

Status: Open.

#1313 In JonathanSalwan/Triton;

· GreenieQwQ opened on Mar 20, 2024

Incorrectly handled x86 instruction, rcl memory, immediate

Status: Open.

#1312 In JonathanSalwan/Triton;

· jaihysc opened on Mar 20, 2024