SAST

​​一、核心架构设计​​

​​1. 分层分析框架​​

graph TB
  A[代码解析层] --> B[中间表示层]
  B --> C[多引擎分析层]
  C --> D[结果验证层]

​​2. 核心组件功能​​

• ​​代码解析层​​
• ​​输入支持​​：
• 源码：Java/C#/Python/Go/C/C++
• 编译中间件：JVM字节码、.NET IL
• ​​技术实现​​：
• Java：基于ASM/Eclipse JDT构建控制流图（CFG）
• C/C++：Clang AST + LLVM IR转换
• .NET：Roslyn编译器集成
• ​​中间表示层​​
• ​​统一代码属性图（CPG）​​：
• 融合AST（语法树）+ CFG（控制流）+ DFG（数据流）+ PDG（程序依赖图）
• 示例：
• 
  

String input = request.getParameter("id"); // Source节点
String sql = "SELECT * FROM users WHERE id=" + input; // 数据流边
executeQuery(sql); // Sink节点（漏洞汇聚点）

• ​​多引擎分析层​​
• ​​污点分析引擎​​：
• 基于​​动态传播树（Taint Propagation Tree）​​ 追踪外部输入流向
• 支持跨过程/跨文件数据流分析
• ​​符号执行引擎​​：
• 使用Z3求解器验证路径约束，发现深层次逻辑漏洞
• ​​模式匹配引擎​​：
• 5000+漏洞规则库（CWE Top 25/OWASP Top 10全覆盖）
• ​​结果验证层​​
• ​​沙箱动态验证​​：
• 对高危漏洞启动轻量级沙箱执行PoC验证
• 示例：注入无害SQL语句SELECT 1验证SQLi可利用性
• ​​AI误报过滤​​：
• LSTM模型分析历史漏洞特征，误报率降低40%

​​二、核心技术实现​​

​​1. 深度语义分析​​

• ​​上下文敏感分析（Context-Sensitive）​​：
• 区分同一函数在不同调用链中的行为
• 
  

// 场景1：高危SQL拼接
buildQuery("SELECT * FROM users WHERE id=" + userInput); 
// 场景2：低危日志输出
logger.info("User input: " + userInput);

• ​​对象敏感分析（Object-Sensitive）​​：
• 追踪对象成员变量的污染状态

​​2. 跨语言漏洞检测​​

• ​​Java/.NET混合架构支持​​：
• 通过JNI/PInvoke调用追踪跨语言数据流
• ​​微服务API传播​​：
• 识别Spring Cloud/Dubbo接口参数污染路径

​​3. 第三方组件分析​​

• ​​开源成分识别（SCA）​​：
• 基于二进制指纹+依赖声明识别组件版本
• 关联CVE漏洞库实时告警（如Log4j2漏洞）

​​三、企业级特性​​

​​1. 分布式扫描架构​​

• ​​任务调度​​：
• 基于Kubernetes的弹性计算集群
• ​​增量扫描​​：
• Git Diff感知 → 仅扫描变更代码及相关依赖
• 扫描速度提升5-10倍（百万行代码<10分钟）

​​2. 安全左移集成​​

• ​​IDE插件​​：
• VS Code/IntelliJ实时扫描，编码时即时告警
• ​​CI/CD流水线​​：
• 
  

# Jenkins示例
stage('SAST') {
  steps {
    qianxin-sast scan --project-id=proj_123 --diff-commit=$GIT_COMMIT
    // 高危漏洞阻断发布
    errorIf(qianxin-sast report --threshold=CRITICAL)
  }
}

​​3. 信创环境适配​​

• ​​国产OS​​：麒麟OS/统信UOS原生支持
• ​​国产芯片​​：鲲鹏/飞腾指令集兼容性验证

​​四、技术边界​​

​​1. 支持场景​​

• ​​复杂业务系统​​：
• 金融核心交易系统（Java EE架构深度解析）
• ​​云原生应用​​：
• 微服务跨组件漏洞追踪（Spring Cloud/Dubbo）
• ​​信创环境​​：
• 麒麟OS+鲲鹏芯片全栈适配

​​2. 局限场景​​

• ​​动态语言特性​​：
• Python的eval()/JavaScript动态属性访问检测受限
• ​​二进制漏洞​​：
• 需依赖专用二进制分析工具补充
• ​​逻辑漏洞深度​​：
• 业务设计缺陷需人工审计介入

​​五、技术演进方向​​

1. ​​LLM辅助修复​​：

• 基于漏洞上下文生成代码补丁

1. ​​IaC安全扩展​​：

• Terraform/K8s YAML配置漏洞检测

1. ​​漏洞知识图谱​​：

• 关联CVE/ATT&CK框架构建攻击路径预测

​​总结​​

奇安信SAST通过 ​​“多引擎协同分析”​​ 架构实现：

• ​​深度语义解析​​：
• 污点分析+符号执行覆盖代码/编译层漏洞
• ​​实战化检测​​：
• 漏洞规则库关联红队攻防经验
• ​​国产化适配​​：
• 全栈支持麒麟OS/鲲鹏/飞腾生态