QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries (to appear)

HyungSeok Han, JeongOh Kyea, Yonghwi Jin, Jinoh Kang, Brian Park, Insu Yun
May 2023
Publication
Proceedings of the 44th IEEE Symposium on Security and Privacy (Oakland)