Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine

Zhuohao Zhang, Junkun Liu, Rui Yang +2

Dynamic taint analysis (DTA) for interpreted languages like JavaScript and Python requires three capabilities: observing host-runtime operations, maintaining parallel taint states,…