Hacking Lab
Hacking Lab
Home
People
Publications
CVEs
Contact
Light
Dark
Automatic
Jinoh Kang
Latest
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries
Cite
×