QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries. - HyungSeok Han; JeongOh Kyea; Yonghwi Jin; Jinoh Kang; Brian Pak; Insu Yun (SP, 2023)