QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries.

HyungSeok Han, JeongOh Kyea, Yonghwi Jin, Jinoh Kang, Brian Pak, Insu Yun

Browse the full SP paper archive.