@misc{indiciaeba98bd0a88cb,
  title = {Finding Vulnerabilities via LLM-Augmented Semantics-Aware Type-Checking},
  author = {Ruizhe Wang and Meng Xu and N. Asokan},
  year = {2026},
  url = {https://arxiv.org/abs/2608.14533},
  note = {Source identifier: 2608.14533}
}