works on
declarative specification 1dynamic taint analysis 1runtime instrumentation 1shadow virtual machine 1software security 1

From the 1 of 1 linked paper with an AI index.

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine

Zhuohao Zhang, Junkun Liu, Rui Yang +2

The paper introduces Mystra, a declarative taint specification language and a shadow virtual machine that separate taint semantics from host runtime execution, enabling efficient a…