选择题   下列选项中，不属于软件源代码静态安全检测技术的是______