[发明专利]基于Petri网的Rust语言自动建模与死锁检测方法及软件工具

摘要

本发明公开了一种基于Petri网的Rust语言自动建模与死锁检测方法及软件工具。所述检测方法包括Rust程序源代码分析、创建Rust程序中间代码、指定检测Rust程序中的锁类型、生成锁数据流图、转换所述锁数据流图为Petri网和分析Petri网，生成死锁检测报告的步骤。所述软件工具包括用户界面模块、Rust程序源代码分析模块、映射到Petri网模块和bug检测模块。本发明是基于Cargo的，不需要重写命令，提高检测效率；屏蔽掉了多余代码带来的复杂性；使用Rust编译作为前端来执行程序化查询，基于锁操作语义的等价映射，不改变原有的程序语义；对无关操作进行了裁剪，缩减了模型检测的状态空间，提高了检测速度。