一款结合LLM与静态分析的神经符号框架，用于检测代码中的安全漏洞。 支持多种CWE漏洞类别，如路径遍历、命令注入等；使用LLM生成源和汇点规范，过滤误报；提供丰富的环境搭建选项，支持Linux、Docker及其他系统 IRIS | #框架