QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries
▶QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries — a 2023 IEEE S&P 2023 Sessions security conference talk on reverse-engineering (13:14 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube