QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries
| Title: | QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries |
|---|---|
| Authors: | Han, HyungSeok; Kyea, JeongOh; Jin, Yonghwi; Kang, Jinoh; Pak, Brian; Yun, Insu |
| Source: | 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :3279-3295 May, 2023 |
| Relation: | 2023 IEEE Symposium on Security and Privacy (SP) |
| Database: | IEEE Xplore Digital Library |