
Veridiff
Dynamic branch-divergence finder for native code -- traces two Frida executions and finds the exact instruction where they diverge.
binary-analysisbinary-exploitationcode-analysis+7
8

Dynamic branch-divergence finder for native code -- traces two Frida executions and finds the exact instruction where they diverge.

An Interactive Binary Patching Plugin for IDA Pro

Reproduces the CVE-2026-70638 integer overflow in llama.cpp Android JNI with a safe arithmetic demo, malicious GGUF generator, and Frida hook for…

Windows NT ioctl bruteforcer and modular fuzzer

Devirtualizes Tencent VM .tvm0 sections: lifts VM handlers to guest-level listings and LLVM IR, recovers CFG and dispatch, and patches recovered code…