本文主要研究C／C++程序缓冲区越界的静态检测。通过使用GCC编译器的前端编译源程序生成中间文件，将此中间文件作为程序分析的原始输......

采用软硬件结合的运行时消除指针别名歧义方法SHRTD(software/hardware run-time disambiguation)适用于不可逆代码,同时,它的代码......

针对已有指针分析算法的程序中间表示不能充分表示程序的语法结构与语义，而导致不适合应用于程序标准化转换的问题，提出基于控制依赖......

软件测试是保证软件质量和提高软件可靠性的主要手段,其关键和核心问题之一是测试数据的生成。测试数据自动生成技术可以降低软件......

针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析......