代码分析技术静态分析 · Static Analysis不运行目标程序,通过检查代码寻找可疑结构、规则违规和潜在缺陷。地图中的位置验证代码与模型分析相关实践组成与变体包含此专门形式SAST 静态安全测试 · Static Application Security Testing包含此类测试静态类型检查 · Static Type Checking结合与之互补代码评审 · Code Review静态分析使用与支持可在其中运行CI 持续集成 · Continuous Integration在地图上显示来源 ↗