Jonathan Salwan
Jonathan Salwan
To avoid duplicating nodes/sub-trees in memory and to keep an SSA form.
>Is there a problem in adding another shared_ptr? Probably some. I do not remember exactly why I did this years ago. But for example, the first one that comes in...
Can you show me how you used taintAssignment/taintUnion ? They should work without building semantics.
@0xdeaddc0de Maybe something like this: ```py from triton import * ctx = TritonContext(ARCH.X86_64) code = [ b"\x48\xc7\xc0\xad\xde\x00\x00", # mov rax, 0xdead b"\x48\xc1\xe0\x10", # shl rax, 16 b"\x48\xc7\xc3\xef\xbe\x00\x00", # mov rbx,...
What version of Bitwuzla are you using? Do you have still the same issue when compiling Bitwuzla as [shared library](https://github.com/JonathanSalwan/Triton/blob/master/.github/workflows/linux.yml#L56)?
Mmmh, there is no notion of function/cfg in Triton. The input of Triton is only one instruction. So, yeah you have to handle syscalls behaviour if you want to emulate...
Sure it's possible. With a DBI or a tracer you can easily setup watchpoint on every instruction or basic block. Then, you just have to synch contexts. Here is an...
What version of capstone are you using?
never seen this error... =/.
I get the same issue when installing unicorn using `pip install unicorn` (2.1.1) and same issue when downloading directly the release package [macos-arm64-cmake-shared-x64.7z](https://github.com/unicorn-engine/unicorn/releases/tag/2.1.1). ``` $ DYLD_LIBRARY_PATH=./lib ./test_arm Test test_arm_nop... Test...