科大国创获得发明专利授权：“用于易变数据结构程序验证的形状图生成方法及装置”_股票频道

证券之星消息，根据天眼查APP数据显示科大国创（300520）新获得一项发明专利授权，专利名为“用于易变数据结构程序验证的形状图生成方法及装置”，专利申请号为CN202011105846.3，授权日为2024年9月13日。

专利摘要：本发明公开了用于易变数据结构程序验证的形状图生成方法及装置，包括细化不同种类易变数据结构断言，并对细化后的断言种类简化断言描述方法；按照预设优化顺序对不同断言种类进行形状图构造获取程序的初步形状图，所述不同断言种类的构造方法包括细化后的断言种类对应的形状图构造方法；基于初步构造的形状图进行修正优化获取精准形状图。本发明使复杂形状图的描述更加规范简练，并且简化形状图构造过程，优化指针别名消除过程，减少了指针操作语句演算过程中需要修改的别名数量。

今年以来科大国创新获得专利授权2个，较去年同期减少了75%。结合公司2024年中报财务数据，今年上半年公司在研发方面投入了1.1亿元，同比减14.14%。