【技术实现步骤摘要】
本公开属于工业控制，特别涉及一种代码静态检测方法、工具、装置、存储介质及设备。
技术介绍
1、plc（programmable logic controller，可编程控制器）广泛应用于工控行业设备监控、运行控制等场景，plc程序运行问题会导致巨大的经济损失，引发严重后果，因此对plc程序的稳定性、可靠性有较高要求。目前，plc程序io点数不断增大，plc程序状态空间指数级增加，使得通过构造测试集结合仿真、调试等方式验证程序逻辑、定位问题难以实现状态集有效覆盖，效果差，效率低。
2、类似c语言等高级语言具有完善的代码静态检测机制，可作为动态检测技术的有效补充，以更高效的方式实现有效的缺陷检测，而plc行业静态检测技术却乏善可陈。
技术实现思路
1、基于上述问题，本公开能够针对目前plc组态软件调测工具存在的问题，从风电、水电等工控行业应用实际调测存在的问题和痛点出发，提供一种可集成到自研plc组态软件亦可独立运行的plc代码静态检测工具、实现可编程控制器代码静态检测的方法、装置...
【技术保护点】
1.一种代码静态检测方法，其特征在于，应用于可编程控制器，所述方法包括：
2.根据权利要求1所述的代码静态检测方法，其特征在于，所述设置所述可编程控制器代码的静态分析参数包括：
3.根据权利要求2所述的代码静态检测方法，其特征在于，所述将所述可编程控制器代码传递到检测工具进行基于所述静态分析参数的分析检测包括：
4.根据权利要求3所述的代码静态检测方法，其特征在于，所述构造抽象语法树包括：
5.根据权利要求3所述的代码静态检测方法，其特征在于，所述基于所述抽象语法树构建控制流图包括：
6.根据权利要求3所述的...
【技术特征摘要】
1.一种代码静态检测方法，其特征在于，应用于可编程控制器，所述方法包括：
2.根据权利要求1所述的代码静态检测方法，其特征在于，所述设置所述可编程控制器代码的静态分析参数包括：
3.根据权利要求2所述的代码静态检测方法，其特征在于，所述将所述可编程控制器代码传递到检测工具进行基于所述静态分析参数的分析检测包括：
4.根据权利要求3所述的代码静态检测方法，其特征在于，所述构造抽象语法树包括：
5.根据权利要求3所述的代码静态检测方法，其特征在于，所述基于所述抽象语法树构建控制流图包括：
6.根据权利要求3所述的代码静态检测方法，其特征在于，在构造抽象语法树之前，所述将所述可编程控制器代码传递到检测工具进行基于所述静态分析参数的分析检测还包括：
7.根据权利要求3所述的代码静态检测方法，其特征在于，所述根据所述抽象语法树和所述控制流图遍历执行所述分析检测规则，并保存分析检测结果包括：
8.根据权利要求7所述的代码静态检测方法...
【专利技术属性】
技术研发人员：朱继伟，李从飞，韩兵，倪维东，刘国炜，郑泽，邓华，钱威，
申请(专利权)人：国电南京自动化股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。