Comp. Sci. Dept., University of Wisconsin;
机译:X86-TSO:适用于x86多处理器的严格且可用的程序员模型
机译:估计从x86可执行文件提取的函数之间的相似性
机译:Windows x86程序的指令级符号校验和系统
机译:使用CodesURERER / X86和WPDS ++检查X86可执行文件的模型
机译:X86可执行文件中符号执行程序保护
机译:计算机可执行的动态临床安全检查表的元模型
机译:使用CodeSurfer / x86和WPDS对x86可执行文件进行模型检查
机译:分析x86可执行文件中的内存访问