@misc{indiciaeb4dce2498c71,
  title = {When Static Reachability Says No: Checking Joern-Based Negative Verdicts for Python Against Execution},
  author = {Artur Zięba-Kozarzewski and Bartosz Grzegorzewski},
  year = {2026},
  url = {https://arxiv.org/abs/2610.39504},
  note = {Source identifier: 2610.39504}
}