计算机科学 软件 静态分析 源代码 图像（数学） 图形 调用图 污点检查 编码（集合论） 构造（python库） 子程序 插件 数据挖掘 依赖关系图 图像处理 依赖关系（UML） 面子（社会学概念） 安全性分析 软件安全保证 静态程序分析 分类 云计算 嵌入式系统 操作系统 软件工程 人工智能 图像文件格式 实时计算 链路分析 容器（类型理论） 计算机视觉 程序切片 程序设计语言 图像分割 软件系统 计算机工程 数据库 逆向工程 分布式计算 开源软件