本文源自:金融界
金融界 2024 年 9 月 15 日消息，天眼查知识产权信息显示，科大国创软件股份有限公司取得一项名为“用于易变数据结构程序验证的形状图生成方法及装置“，授权公告号 CN112241258B，申请日期为 2020 年 10 月。
专利摘要显示，本发明公开了用于易变数据结构程序验证的形状图生成方法及装置，包括细化不同种类易变数据结构断言，并对细化后的断言种类简化断言描述方法；按照预设优化顺序对不同断言种类进行形状图构造获取程序的初步形状图，所述不同断言种类的构造方法包括细化后的断言种类对应的形状图构造方法；基于初步构造的形状图进行修正优化获取精准形状图。本发明使复杂形状图的描述更加规范简练，并且简化形状图构造过程，优化指针别名消除过程，减少了指针操作语句演算过程中需要修改的别名数量。
