AgentFlow builds a framework-agnostic Agent Dependency Graph from agent program source code to support static analyses such as BOM generation and prompt-to-tool risk detection, evaluated on 5,399 real programs across five frameworks.
Jasmine: A static analysis framework for spring core technologies,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A framework proves that broad recalibrated leakage is undetectable from predictions alone without an external discrimination ceiling, while near-label leaks produce a detectable unit-purity signature yielding a prior-free test.
citing papers explorer
-
AgentFlow: Building Agent Dependency Graphs for Static Analysis of Agent Programs
AgentFlow builds a framework-agnostic Agent Dependency Graph from agent program source code to support static analyses such as BOM generation and prompt-to-tool risk detection, evaluated on 5,399 real programs across five frameworks.
-
A prior-free blind detection of information leakage from model predictions
A framework proves that broad recalibrated leakage is undetectable from predictions alone without an external discrimination ceiling, while near-label leaks produce a detectable unit-purity signature yielding a prior-free test.