Patent search ap:("浙江大学计算机创新技术研究院") AND inv:"姚培森" Page 1

1.

发明公开
基于面向位向量的最优化模理论的程序分析方法和系统审中-实审

公开(公告)号：CN118981386A

公开(公告)日：2024-11-19

申请号：CN202411063318.4

申请日：2024-08-05

Applicant: 浙江大学计算机创新技术研究院

Inventor： 姚培森 , 王伟琦 , 任奎

IPC: G06F9/54 , G06F11/36

Abstract: 本发明公开了一种基于面向位向量的最优化模理论的程序分析方法和系统。包括：接收客户端中的程序分析工具发送的优化请求信息；基于接收到的优化请求信息构建面向位向量的最优化模理论模型；将面向位向量的最优化模理论模型转化为合取范式；利用并行OBV‑BS方法求解合取范式后，获得优化结果并返回给程序分析工具。本发明通过使用多线程并行化的方法，并结合信息共享机制，提高了最优化模理论的求解效率，更好地帮助解决了程序分析中的优化问题。

Patent Agency Ranking