@misc{indiciae9333330df965,
  title = {Static Analysis Framework for Detecting Use-After-Free Bugs in C++},
  author = {Vlad-Alexandru Teodorescu and Dorel Lucanu},
  year = {2024},
  doi = {10.4204/eptcs.410.7},
  url = {https://arxiv.org/abs/2410.23764},
  note = {Source identifier: 2410.23764}
}