@misc{indiciaeba3c8b29610f,
  title = {Integration of the Static Analysis Results Interchange Format in CogniCrypt},
  author = {Sriteja Kummita and Goran Piskachev},
  year = {2019},
  url = {https://arxiv.org/abs/1907.02558},
  note = {Source identifier: 1907.02558}
}