TY  - RPRT
TI  - On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
AU  - Shankaranarayanan Krishna
AU  - Aniket Lal
AU  - Andreas Pavlogiannis
AU  - Omkar Tuppe
PY  - 2023
UR  - https://arxiv.org/abs/2311.04319
ID  - 2311.04319
ER  -