How to determine if a concrete register value is known? about triton HOT 2 OPEN

By default the concrete state is zero and there is no symbolic variable. The proper way to do is:

1. Load concrete memory
2. Init concrete state of registers
3. Symbolize what you want
4. Start processing
5. Get back symbolic expressions
6. Define constraints
7. Request solver

In your example, without concrete state, imul rax, r15 is interpreted as imul 0, 0.

If you want to assign a concrete value to rax you have to do: ctx.setConcreteRegisterValue(ctx.registers.rax, 0xdeadbeef). Then, if you want to symbolize it, you can simply do: ctx.symbolizeRegister(ctx.registers.rax).

from triton.

Is there an easy way to make everything symbolic? Really the only question I want to answer with my analysis is whether the value can be determined from the previous few instructions and which value it would be (f.e. if there is a mov rax, 123; mov rcx, 123; add rax, rcx or something)

from triton.