一种程序分析方法和装置

本说明书实施例提供了一种程序分析方法和装置，该方法包括：获取目标程序和针对目标程序的用户分析任务，生成目标程序对应的全局控制流图，全局控制流图中至少包括多个节点，节点表示目标程序中的语句；根据用户分析任务对应的第一变量，从目标程序中确认出与第一变量存在数值依赖关系的第二变量；从全局控制流图中至少提取目标语句对应的第一目标节点，目标语句中的被赋值变量包含第一变量或第二变量；根据第一目标节点对应的语句的执行次序，在第一目标节点之间添加控制边，得到依赖控制流图，依赖控制流图用于确定用户分析任务的第一分析结果。