动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致......

现代数字信号处理器(DSP)一般采取超长指令字或是超标量来实现指令级并行。超长指令字(VLIW)数字信号处理器将并行任务的识别和调......

符号约束描述了程序中的变量关系,被广泛运用于模型检测、符号执行等程序的静态分析方法中。将符号约束应用于可编程逻辑控制器（PLC......

基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转（dominatorfrontier inverse,DFI）来同时为多个变量摆放Φ函......

针对现有可信指针分析技术中关于精度和效率之间的取舍和权衡的不足,提出一种需求驱动的可信指针分析技术。该技术通过扩展SSA形式......

BSD包过滤器（BSD Packet Filter,BPF）是BSD Unix操作系统提供的网络数据包捕获及过滤机制的内核组件.该文描述了BPF的组成及工作过程......

当前面向单指令多数据（SIMD）扩展部件的两类向量化方法分别是循环级向量化方法和超字级并行（SLP）方法。针对当前编译器不能实现函数级......

介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的......

随着多核处理器在多媒体计算、嵌入式设备、个人计算机、商用服务器和高性能计算机等众多领域的广泛应用,人类正面临着自计算机诞......