@article{dgaprogramanalysislibrary,
  title = {DG: A program analysis library},
  author = {Marek Chalupa},
  year = {2020},
  url = {https://www.sciencedirect.com/science/article/pii/S2665963820300294?via%3Dihub},
}