Taint Analysis for Graph APIs Focusing on Broken Access Control (Logical Methods in Computer Science, 2026)