Static Analysis of Database Accesses in MongoDB Applications.

Boris Cherry Pol Benats Maxime Gobert Loup Meurice Csaba Nagy Anthony Cleve

Published in: SANER (2022)

Keyphrases

static analysis
database
dynamic analysis
databases
source code
symbolic execution
regular expressions
data sets
data management
test generation
java card
abstract interpretation
real world
database systems
open source
update transactions