武约舍维奇-贾尼奇,米莱纳;菲利普·马里奇;杜珊·托希奇 使用单纯形方法验证软件安全性。 (英语) Zbl 1274.90227号 南斯拉夫。J.运营商。物件。 19,第1期,133-148(2009). 摘要:我们讨论了Simplex方法在检查软件安全性中的应用,即在C程序中自动检测缓冲区溢出的应用。这个问题很重要,因为缓冲区溢出是黑客安全攻击的合适目标,也是严重程序错误行为的来源。我们还描述了我们的实现,包括生成软件正确性条件的系统和解决这些条件的基于单纯形的定理证明器。 MSC公司: 90C05(二氧化碳) 线性规划 90 C90 数学规划的应用 软件:Flawfinder公司;SMT-LIB公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Vujošević-Janić}等人,南斯拉夫。J.运营商。第19号决议,第1号,133--148(2009年;Zbl 1274.90227) 全文: 内政部