StAnD: A Dataset of Linear Static Analysis Problems.

Luca Grementieri Francesco Finelli

Published in: CoRR (2022)

Keyphrases

static analysis
dynamic analysis
source code
linear systems
learning algorithm
np complete
database
databases
relational databases
benchmark datasets