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

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)