VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR.
Joschua SchillingTilo MüllerPublished in: DIMVA (2022)
Keyphrases
- information retrieval
- expressive power
- deductive databases
- query answering
- information retrieval systems
- text retrieval
- logic programming
- query expansion
- datalog programs
- query language
- integrity constraints
- retrieval effectiveness
- programming language
- ad hoc retrieval
- evaluation measures
- database
- database languages
- retrieval model
- statistical analysis
- data integration
- relational databases
- information access
- transitive closure
- digital libraries
- neural network
- ir evaluation
- data sets