TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction
TasmScan is presented, the first bytecode-level static analysis framework for TVM that enables cross-continuation data flow reasoning without requiring source code and ablation confirms that savelist propagation is essential for resolving indirect register calls that depend on cross-continuation register passing.