TY - RPRT TI - Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine AU - Zhuohao Zhang AU - Junkun Liu AU - Rui Yang AU - Yinzhi Cao AU - Ziyang Li PY - 2026 UR - https://arxiv.org/abs/2607.12308 ID - 2607.12308 ER -