Pl0414141
Pl0414141
Hi, you can use the latest version of DynamoRIO (https://github.com/DynamoRIO/dynamorio/releases) and modify SL to avoid the message error ""DynamoRIO notice: Client library targets an incompatible API version and should be...
@jdefrancesco Do you have any PoC or code to share with these advances? I would be very grateful.
Hi, I'm trying to compile through: 1. Downloaded triton source code. 2. Executing vcpkg install triton --triplet x64-windows-static 3. Downloaded Ponce code 4. Executing cmake -S . -B build_x64_8.3 -DIDASDK_ROOT_DIR=".\IDA_SDKs\idasdk_pro83"...
Illera88, Thanks, Ponce is compiled successfully right now. However, in IDA 8.3 the option SMT do not appears when debugging an application x86/x64, i can only see Ponce tracing Symbolic...
Even if the installation directory is changed, the problem persists because S2E call binaries that do not exist called "idal64" and "idat64". Thanks
The issue persists in any version of IDA > 7.0. Any idea to fix it?
Vitalych, this upgrades includes too the upgrade to QEMU 4.0? https://wiki.qemu.org/ChangeLog/4.0