
slides
CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU
dynamic-code-analysiseducationpapers-research+2

CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU

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