对主流编程语言与开源平台实现的AI系统中的格式化串漏洞、错误的边界检查、循环结构、非正确终止问题等漏洞进行识别与分析,能覆盖所有代码路径和查找大部分的安全漏洞类型。系统为用户提供源码漏洞扫描工具。