框架在执行前静态分析OpenQASM电路，识别可能危害物理执行层的结构。
推荐理由：量子程序执行后难以动态检查，经典全状态模拟成本又呈指数增长；该框架尝试把安全关口前移，但1500个电路且攻击样本为合成，外推性有限。
阅读原文