@misc{indiciaea1a6e317e994,
  title = {Resource Leak Checker (RLC\#) for C\# Code using CodeQL},
  author = {Pritam Gharat and Narges Shadab and Shrey Tiwari and Shuvendu Lahiri and Akash Lal},
  year = {2023},
  url = {https://arxiv.org/abs/2312.01912},
  note = {Source identifier: 2312.01912}
}