
DIBF
Windows NT ioctl bruteforcer and modular fuzzer
binary-exploitationdynamic-code-analysisfuzzing+3
1277 years ago

Windows NT ioctl bruteforcer and modular fuzzer

Winstrument is a framework of modular scripts to aid in instrumenting Windows software using Frida for reverse engineering and attack surface…

Modular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…