← back

Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine

Dynamic taint analysis (DTA) for interpreted languages like JavaScript and Python requires three capabilities: observing host-runtime operations, maintaining parallel taint states, and defining how taint propagates. Existing systems couple

https://arxiv.org/abs/2607.12308v2 ↗
Thesis fit
Good fit

Within your typical scope; diligence still required.

Edit thesis
In your usual scope
Idea match Light

How close the company’s idea is to your thesis statement

Sector ai

Overlap with sectors you care about

Geography Unknown

Location unknown — scores 0

Your thesis: “We back exceptional technical founders building AI-first products and infrastructure, deploying $100K checks within 24 hours.”

Founder → stable Traction → stable Idea vs market ↑ improving
Generate memo
▸ Add / edit details

Correct facts used on the next screening or memo.

People

Z
Zhuohao Zhang
1.0
low confidence
J
Junkun Liu
1.0
low confidence
R
Rui Yang
1.0
low confidence
Y
Yinzhi Cao
1.0
low confidence
Z
Ziyang Li
1.0
low confidence

Activity & evidence

arXiv Mystra: Declarative Dynamic Taint Analysis via Shadow Virtual Machine · based on signal ▸

Similar baseline plays (YC · idea space)

Dialect · Acquired
Making internet experiences distributable and actionable everywhere
Chris Osborn
compliant-llm · Active
Detect every data leak into third-party GenAI tools
founders not scraped yet
Dioxus Labs · Acquired
Web, Desktop, and Mobile apps with one codebase in Rust
founders not scraped yet
Matano · Active
Cloud Native SIEM (alternative to Splunk/Elastic)
founders not scraped yet
Better Auth · Active
The authentication framework for TypeScript
founders not scraped yet