@misc{indiciaec63f8bc78a4a,
  title = {StAnD: A Dataset of Linear Static Analysis Problems},
  author = {Luca Grementieri and Francesco Finelli},
  year = {2022},
  url = {https://arxiv.org/abs/2201.05356},
  note = {Source identifier: 2201.05356}
}