Paper Citation Record · LEDGER

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine

As of 18 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2607.12308.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.12308 v2

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T06:39:58.531858Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

47 of 47 outbound references displayed

verified exact0
verified fuzzy0
unresolved47
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ae0e13f0-e2de-4258-911d-7366723c6d6c · outbound

This paper cites Riding out DOMsday: Towards detecting and preventing DOM cross-site scripting,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Riding out DOMsday: Towards detecting and preventing DOM cross-site scripting,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:53.622570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45381d5f-f2d4-49c3-9dee-0cdd7a09ac23 · outbound

This paper cites Understanding and auto- matically preventing injection attacks on node. js,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Understanding and auto- matically preventing injection attacks on node. js,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:53.781743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b35807b-41a5-4bae-85ca-e7f424d1f211 · outbound

This paper cites NodeMedic- FINE: Automatic detection and exploit synthesis for Node.js vulnera- bilities,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine NodeMedic- FINE: Automatic detection and exploit synthesis for Node.js vulnera- bilities,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:53.927031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26e729e1-6b8e-4f71-ad47-0e247cbc6b37 · outbound

This paper cites Automated exploit generation for Node.js packages,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Automated exploit generation for Node.js packages,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.107670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f8081b3-6784-410a-87a6-ed201ecbaddb · outbound

This paper cites Probe the proto: Measuring client-side prototype pollution vulnerabilities of one million real-world websites,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Probe the proto: Measuring client-side prototype pollution vulnerabilities of one million real-world websites,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.269117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 844dc057-ae8a-40b3-894e-198b04e07718 · outbound

This paper cites Follow my flow: Unveiling client-side prototype pollution gadgets from one million real-world websites,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Follow my flow: Unveiling client-side prototype pollution gadgets from one million real-world websites,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.418009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f79183b0-ed49-41bb-b5b0-739945487bef · outbound

This paper cites Locus: Agentic Predicate Synthesis for Directed Fuzzing.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Locus: Agentic Predicate Synthesis for Directed Fuzzing

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.533292Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aac4879f-db81-4372-8ca2-23371fe3ec05 · outbound

This paper cites A Contemporary Survey of Large Language Model Assisted Program Analysis.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine A Contemporary Survey of Large Language Model Assisted Program Analysis

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.630323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5af09ee-6cfc-4c48-90e1-096ce3355bce · outbound

This paper cites PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.725821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db110620-b0de-4270-81a8-4bf1b7d2f547 · outbound

This paper cites Jalangi: A selec- tive record-replay and dynamic analysis framework for JavaScript,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Jalangi: A selec- tive record-replay and dynamic analysis framework for JavaScript,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.815554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed106cdb-e5fc-4d89-bb06-cfde0858566e · outbound

This paper cites Platform-independent dynamic taint analysis for javascript,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Platform-independent dynamic taint analysis for javascript,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.916339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d07b888b-fc7a-4231-b695-5008d549f38a · outbound

This paper cites NodeMedic: End-to-end analysis of Node.js vulnerabilities with provenance graphs,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine NodeMedic: End-to-end analysis of Node.js vulnerabilities with provenance graphs,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:54.993348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3f3deab-51eb-4e41-9866-cbe1b1428ec1 · outbound

This paper cites Hand sanitizers in the wild: A large-scale study of custom javascript sanitizer functions,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Hand sanitizers in the wild: A large-scale study of custom javascript sanitizer functions,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.057851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3b428e2-d34f-46a7-ab2e-bd382d620d68 · outbound

This paper cites PanoptiChrome: A modern in-browser taint analysis framework,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine PanoptiChrome: A modern in-browser taint analysis framework,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.104567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85d98763-a45a-4703-a8e2-24abc4ae5690 · outbound

This paper cites Secbench.js: An executable security benchmark suite for server-side javascript,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Secbench.js: An executable security benchmark suite for server-side javascript,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.149728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b201ec7-da31-4746-ac28-f7ba467f89ed · outbound

This paper cites Cve-2025-61686,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Cve-2025-61686,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.225023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99f50c72-8c6f-45f9-b1be-7b80b931ccce · outbound

This paper cites React router,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine React router,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.292610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a387b448-f127-4247-b341-7d0cc4abbb31 · outbound

This paper cites n8n - secure workflow automation for technical teams,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine n8n - secure workflow automation for technical teams,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.390989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44805f5d-ceaf-4297-bc7f-16a2fd502731 · outbound

This paper cites CodeQL: Semantic code analysis engine,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine CodeQL: Semantic code analysis engine,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.497708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ed8e89c-2df3-40ae-8a11-ef26cfb81dad · outbound

This paper cites Cve-2025-55449,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Cve-2025-55449,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.582094Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fad008a-6c60-46a3-abcd-682e0731ddac · outbound

This paper cites Dynamic security analysis of JavaScript: Are we there yet?.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Dynamic security analysis of JavaScript: Are we there yet?

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.642091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f92361b-be20-48c5-a677-7569194a580e · outbound

This paper cites An empirical study of information flows in real-world javascript,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine An empirical study of information flows in real-world javascript,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.668545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a5af08a-a5fa-4a59-bff2-daf6b542774a · outbound

This paper cites All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask),.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask),

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.687519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07d5281a-cfe1-4ce2-a9b0-b7e382ca0d13 · outbound

This paper cites Dynamic taint analysis for automatic detection, analysis, and signaturegeneration of exploits on commodity software.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Dynamic taint analysis for automatic detection, analysis, and signaturegeneration of exploits on commodity software

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.725583Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19a28760-8cf6-4c9b-b1ed-09560fb2a8db · outbound

This paper cites libdft: Practical dynamic data flow tracking for commodity systems,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine libdft: Practical dynamic data flow tracking for commodity systems,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.844334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 381c0eef-451c-42f2-8dac-cb8292d9b57b · outbound

This paper cites Dytan: a generic dynamic taint analysis framework,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Dytan: a generic dynamic taint analysis framework,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:55.985578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 222196f9-4af8-4f0e-8e31-9497cf4d9308 · outbound

This paper cites {SelectiveTaint}: Efficient data flow tracking with static binary rewriting,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine {SelectiveTaint}: Efficient data flow tracking with static binary rewriting,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:56.113257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5f02ab8-7105-470a-a1c4-4aea3bc81d3e · outbound

This paper cites Taintdroid: an information- flow tracking system for realtime privacy monitoring on smartphones,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Taintdroid: an information- flow tracking system for realtime privacy monitoring on smartphones,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:56.238108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50a5578e-2b96-4548-a01e-ba68c90d63d3 · outbound

This paper cites Dta++: dynamic taint analysis with targeted control-flow propagation.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Dta++: dynamic taint analysis with targeted control-flow propagation

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:56.427331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ffa3049-2e72-4b83-8477-6fe3e2ca4f71 · outbound

This paper cites Jaw: Studying client-side csrf with hybrid property graphs and declarative traversals,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Jaw: Studying client-side csrf with hybrid property graphs and declarative traversals,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:56.565141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ddd141d-b224-4215-95ed-978a90da6558 · outbound

This paper cites Riding out domsday: Towards detecting and preventing dom cross-site scripting,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Riding out domsday: Towards detecting and preventing dom cross-site scripting,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:56.740336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c4e6375-af3e-4eca-9ce0-a4bea76dd103 · outbound

This paper cites Precise interprocedural dataflow analysis via graph reachability,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Precise interprocedural dataflow analysis via graph reachability,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:56.879458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9e5d472-1fe8-4ab2-8de1-b52b4beab8da · outbound

This paper cites Two approaches to interprocedural data flow analysis,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Two approaches to interprocedural data flow analysis,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:56.973446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54bcd502-974c-4dd2-8589-db29c0c3dea2 · outbound

This paper cites Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:57.139579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63c8cf7f-2801-44e9-92bf-7677579780ca · outbound

This paper cites Information flow analysis of android applications in droidsafe.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Information flow analysis of android applications in droidsafe

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:57.304740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ddfe472-d0c0-4098-9a74-41b61bf6563a · outbound

This paper cites Jn-saf: Precise and efficient ndk/jni-aware inter-language static analysis framework for secu- rity vetting of android applications with native code,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Jn-saf: Precise and efficient ndk/jni-aware inter-language static analysis framework for secu- rity vetting of android applications with native code,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:57.427934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47f723e5-96ed-4ef7-80cc-ee6e8802d64a · outbound

This paper cites Compositional taint analysis for enforcing security policies at scale,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Compositional taint analysis for enforcing security policies at scale,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:57.627366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e748a850-7d2b-4212-837d-74037d28d976 · outbound

This paper cites Ql: Object- oriented queries on relational data,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Ql: Object- oriented queries on relational data,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:57.805766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1a32176-2558-4694-8082-211582de99c7 · outbound

This paper cites Finding application errors and security flaws using pql: a program query language,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Finding application errors and security flaws using pql: a program query language,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:57.888915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc924fe5-f54c-4107-a54d-52fb736310e6 · outbound

This paper cites Fluently specifying taint-flow queries with fluent tql,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Fluently specifying taint-flow queries with fluent tql,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:57.983453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35f1b802-702a-4c15-93b0-d0ec0310c090 · outbound

This paper cites Secucheck: Engineer- ing configurable taint analysis for software developers,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Secucheck: Engineer- ing configurable taint analysis for software developers,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:58.074387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4766774e-3c70-4e53-ab6d-4db5845622bb · outbound

This paper cites IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:58.169808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dc16416-6b02-4071-a95c-25efc3c8775b · outbound

This paper cites QLCoder: A query syn- thesizer for static analysis of security vulnerabilities,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine QLCoder: A query syn- thesizer for static analysis of security vulnerabilities,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:58.222772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd8605e2-1c7e-492a-b540-bf641a317de0 · outbound

This paper cites Multi-language dynamic taint analysis in a polyglot virtual machine,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Multi-language dynamic taint analysis in a polyglot virtual machine,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:58.287892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acaef453-c15c-4f1d-9edc-1ff0233cafa9 · outbound

This paper cites Augur: Dy- namic taint analysis for asynchronous javascript,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Augur: Dy- namic taint analysis for asynchronous javascript,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:58.350539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5549ae19-89a3-41d1-87d5-55f9f874fb14 · outbound

This paper cites Creating concise and efficient dynamic analyses with alda,.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Creating concise and efficient dynamic analyses with alda,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:58.435021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d58c18ed-fb1b-41c3-a118-4268c17280f1 · outbound

This paper cites Debugging webassembly? put some whamm on it!.

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine Debugging webassembly? put some whamm on it!

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T06:39:58.531858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.