泰姬陵

此软件的关键字
zbMATH参考文献(参考
6篇文章
参考)
Ferrara,Pietro;Olivieri,Luca;Spoto,Fausto:\textsfBackFlow:污染分析结果的反向上下文敏感流重建(2020年) 普罗霍伦科,维克多;周,金光雷蒙德;阿什曼,海伦:面向上下文的web应用程序保护模型(2016) Rimsa,Andrei;D'Amorim,Marcelo;Pereira,Fernando Magno Quintão;Bigonha,Roberto S.:污染变量攻击的有效静态检查器(2014) Beringer,Lennart;Grabowski,Robert;Hofmann,Martin:用区域类型系统验证指针和字符串分析(2013) Zhu,Haiyan;Dillig,Thomas;Dillig,Isil:源汇属性验证库规范的自动推理(2013) 张若愚;黄世秋;祁正伟;关海兵:静态程序分析辅助动态污点跟踪,用于软件漏洞发现(2012) ioport公司