Static analysis; buffer overflow; completeness; sensitivity; soundness;
机译:eLAID:通过轻量级和准确的静态分析来检测整数到缓冲区溢出漏洞
机译:araid:通过轻量级和准确的静态分析来检测整数到缓冲区溢出漏洞
机译:静态检测循环引起的实际缓冲区溢出
机译:基于静态分析的缓冲区溢出探测器的分类
机译:随机森林模型在检测基于网络的缓冲区溢出攻击中的有效性。
机译:无线传感器网络中数据传输中缓冲器溢出持续时间的概率分析
机译:araid:通过轻量级和准确的静态分析来检测整数到缓冲区溢出漏洞
机译:使用C程序的诊断语料库来评估静态分析工具的缓冲区溢出检测。