一种基于多目标优化与并行求解的静态程序分析抽象域优化方法

本发明公开了一种基于多目标优化与并行求解的静态程序分析抽象域优化方法利用并行化的方法，通过构建多目标优化模型，将程序变量的区间分析建模为多目标优化问题，使用数学方法客观精确求解。通过将位向量约束公式转化为合取范式CNF，支持使用高效的SAT求解器，提升求解效率；CNF结构允许应用子句简化和冲突驱动子句学习，可以加速求解过程。通过使用并行优化方法，多线程并行求解在合取范式CNF约束下的各目标的最优值，充分利用多核处理器的性能，缩短求解时间；使用任务调度算法平衡线程负载，避免空闲核心，最大化硬件性能。使用最优抽象域分析程序，提升程序分析的精度，减少程序分析的误报和漏报；缩短程序分析的时间。