Triton

Triton copied to clipboard

Incompatible with Python-3.11

3

``` In file included from /wrkdirs/usr/ports/sysutils/triton/work/Triton-0.9/src/libtriton/bindings/python/init.cpp:8: /wrkdirs/usr/ports/sysutils/triton/work/Triton-0.9/src/libtriton/includes/triton/pythonBindings.hpp:12:10: fatal error: 'longintrepr.h' file not found #include ^~~~~~~~~~~~~~~ 1 error generated. ``` Version: 0.9 FreeBSD 14.0

yurivict

Failed linking with bitwuzla

1

┌──(blesqasm㉿kali)-[~/utils/Triton/build] └─$ cmake -DLLVM_INTERFACE=ON -DCMAKE_PREFIX_PATH=$(llvm-config --prefix) -DBITWUZLA_INTERFACE=ON -DBITWUZLA_INCLUDE_DIR=/usr/local/include/bitwuzla .. -- Compiling with Python bindings -- Python3 includes: /usr/include/python3.11 -- Python3 libraries: /usr/lib/x86_64-linux-gnu/libpython3.11.so -- Compiling with Z3 SMT solver -- Found...

blessedqc

MEMORY_ARRAY and sub-word symbolic reasoning

1

```py def test_symbolic_rw_in_array_mode(): code = { 0x1000: bytes.fromhex("FD030091"), # mov x29, sp 0x1004: bytes.fromhex("FF4300D1"), # sub sp, sp, #16 0x1008: bytes.fromhex("400580D2"), # mov x0, #42 0x100C: bytes.fromhex("E00300B9"), # str w0,...

0x9047

```py import triton def test_concrete_memory_handler_not_called_in_symbolic_rw(): def handler(ctx, memory_access, *args): assert not memory_access.getLeaAst().isSymbolized() ctx = triton.TritonContext(triton.ARCH.AARCH64) ctx.setMode(triton.MODE.MEMORY_ARRAY, True) ctx.symbolizeRegister(ctx.registers.sp) ctx.setMode(triton.MODE.SYMBOLIZE_LOAD, True) ctx.setMode(triton.MODE.SYMBOLIZE_STORE, True) ctx.addCallback(triton.CALLBACK.GET_CONCRETE_MEMORY_VALUE, handler) ctx.addCallback(triton.CALLBACK.SET_CONCRETE_MEMORY_VALUE, handler) inst = triton.Instruction(0, bytes.fromhex("E00300F9"))...

0x9047

make -j3 capstone

6

Running into build error, anyone else getting this? ``` [ 2%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/aarch64/aarch64Cpu.cpp.o [ 2%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/aarch64/aarch64Specifications.cpp.o [ 2%] Building CXX object src/libtriton/CMakeFiles/triton.dir/arch/arm/arm32/arm32Cpu.cpp.o /opt/Triton/src/libtriton/arch/arm/arm32/arm32Cpu.cpp: In member...

yorkyman

is there an equivalrent of angr's CALLLESS option?

1

Hello! May i ask something? is there an equivalent of angr's CALLLESS option to skip all calls? cuz its extrememely bothering to simulate syscalls when u analyze big functions. and...

4aaa

+ Reference node's children

3

According to Issue #1356 a child for reference node obviously exists on AST graph, but it doesn't exists in vector with children, so it looks like incorrect work of API...

sudmit0802

Port hooking_libc example to C++

2

I ported the hooking_libc Python example to C++, ran sample_1 and some other programs successfully. @JonathanSalwan, also I wrote homebrew formulas for Bitwuzla and Triton to use them with CMake...

selimsandal

llaubin

Hi, the build process is broken or I am missing some dependency (maybe some libs are too new?) on Ubuntu Server 24.04.01LTS: $ cat /etc/lsb-release DISTRIB_ID=Ubuntu DISTRIB_RELEASE=24.04 DISTRIB_CODENAME=noble DISTRIB_DESCRIPTION="Ubuntu 24.04.1...

hunterbr72