QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries.
HyungSeok HanJeongOh KyeaYonghwi JinJinoh KangBrian PakInsu YunPublished in: SP (2023)
Keyphrases
- source code
- open source
- software systems
- finding similar
- query processing
- static analysis
- open source software
- relevance feedback
- retrieval systems
- high level
- third party
- query evaluation
- software projects
- database queries
- response time
- data structure
- range queries
- user queries
- software repositories
- vector space
- user defined
- software components
- keyword search
- indexing techniques
- query expansion
- retrieval method
- decision support
- complex queries
- multi dimensional
- control flow
- data sources
- source files