程序检测方法、装置、电子设备及存储介质制造方法及图纸

本公开实施例提供一种程序检测方法、装置、电子设备及存储介质，通过获取目标程序模块所对应的目标程序文件；对目标程序文件进行抽象语法树分析，确定至少一个目标表达式，其中，目标表达式为目标程序文件中具有约束注解的表达式，约束注解用于指示目标表达式对应的目标作用域；基于目标表达式的约束注解对对应的目标表达式的实际作用域进行检测，得到检测结果。通过在目标表达式前设置了约束注解，在对目标程序文件进行检测过程中，通过各目标表达式对应的约束注解来确定其对应的目标作用域，从而实现对各目标表达式单独的约束检测，降低程序代码的耦合度，提高程序运行稳定性，降低维护成本。

【技术实现步骤摘要】

本公开实施例涉及计算机，尤其涉及一种程序检测方法、装置、电子设备及存储介质。

技术介绍

1、科特林(kotlin)是一种用于现代多平台应用的静态编程语言。科特拉可以转换为java字节码或javascript，方便在没有java虚拟机的设备上运行。由于具有较好的安全性和便捷性，科特林被广泛应用于各类安卓(android)应用的开发。

2、在基于科特林进行程序开发的过程中，对于程序模块(module)内的成员对象，科特拉仅所提供的可见性修饰符，仅能够实现程序模块级别的访问约束，而无法对程序模块内的表达式进行访问约束，导致程序耦合度过高的问题，进而导致程序运行稳定性降低、维护成本提高。

技术实现思路

1、本公开实施例提供一种程序检测方法、装置、电子设备及存储介质，以克服基于科特林编写的程序代码存在耦合度过高的问题。

2、第一方面，本公开实施例提供一种程序检测方法，包括：

3、获取基于科特林的目标程序模块所对应的目标程序文件；对所述目标程序文件进行抽象语法树分析，确定至少一个目标表本文档来自技高网...

【技术保护点】

1.一种程序检测方法，其特征在于，包括：

2.根据权利要求1所述的方法，其特征在于，所述目标程序文件中包括至少一个备选表达式；对所述目标程序文件进行抽象语法树分析，确定至少一个目标表达式，包括：

3.根据权利要求2所述的方法，其特征在于，所述检测规则文件是基于静态代码分析工具生成的。

4.根据权利要求1所述的方法，其特征在于，所述约束注解中包括至少一个第一包标识，所述第一包标识表征对应的目标表达式在所述程序模块下可访问的包的第一名称；

5.根据权利要求4所述的方法，其特征在于，在生成第二检测结果之后，包括：

6.根据权利要求1所...

【技术特征摘要】

1.一种程序检测方法，其特征在于，包括：

2.根据权利要求1所述的方法，其特征在于，所述目标程序文件中包括至少一个备选表达式；对所述目标程序文件进行抽象语法树分析，确定至少一个目标表达式，包括：

3.根据权利要求2所述的方法，其特征在于，所述检测规则文件是基于静态代码分析工具生成的。

4.根据权利要求1所述的方法，其特征在于，所述约束注解中包括至少一个第一包标识，所述第一包标识表征对应的目标表达式在所述程序模块下可访问的包的第一名称；

5.根据权利要求4所述的方法，其特征在于，在生成第二检测结果之后，包括：

6.根据权利要求1所述的方法，其特...

【专利技术属性】
技术研发人员：叶智超，
申请(专利权)人：北京字跳网络技术有限公司，
类型：发明
国别省市：