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

442 views

IEEE Symposium on Security and Privacy

1 year ago

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

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