不属于静态安全校核并行计算功能的是（）。