一种数据可达性分析方法、程序分析系统及方法

本发明提供了一种数据可达性分析方法，用于程序数据流路径分析，所述方法包括：步骤S1、获取待分析程序并对其进行处理以获取其对应的原始标号图；步骤S2、根据路径分析任务确定上下文无关文法，并根据预设的规则将上下文无关文法变换为包含终结符和非终结符的括号匹配文法，以及包含终结符和括号匹配文法所产生的非终结符的正则文法；步骤S3、采用括号匹配文法对原始标号图进行处理得到新的标号图；步骤S4、采用正则文法对新的标号图进行处理得到目标标号图，并基于其确定待分析程序中的所有数据流路径，本发明通过对上下文无关文法解耦，降低了数据可达性分析的求解复杂度，避免了求解过程中的无关边的推导，提升了程序分析的执行时间。