会议论文《基于语义抽象的内存访问错误检测》发表于第六届中国信息和通信安全学术会议(CCICS2009)。该文提出一种利用语义抽象技术检测内存访问错误的方法，通过分析程序的语义结构，提高对空指针解引用、越界访问等错误的检测效率和准确性，为软件安全提供了新的思路。
文档为pdf格式，0.13MB，总共3页。
举报
