一种用于指针程序安全性证明的指针逻辑的中期报告

一种用于指针程序安全性证明的指针逻辑的中期报告介绍指针程序是一类常见的程序，主要用于动态内存管理和数据结构操作。但是指针程序的安全性问题一直是一个挑战。因此，研究人员开始探索使用指针逻辑来证明指针程序