442 views
IEEE Symposium on Security and Privacy
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries
Login with Google Login with Discord