污点机器人

此软件的关键字
zbMATH参考文献(参考
6篇文章
参考)
Ferrara,Pietro;Olivieri,Luca;Spoto,Fausto:\textsfBackFlow:污染分析结果的反向上下文敏感流重建(2020年) Sahabandu,Dinuka;Moothedath,Shana;Allen,Joey;Bushnell,Linda;Lee,Wenke;Poovendran,Radha:具有强化学习的随机动态信息流跟踪游戏(2019) Dmitrienko,Alexandra;Liebchen,Christopher;Rossow,Christian;Sadeghi,Ahmad Reza:移动双因素身份验证的(in)安全性(2014) ioport公司 Lourenço,Luísa;Caires,Luís:值索引数据安全分区的信息流分析(2014) Zhu,Haiyan;Dillig,Thomas;Dillig,Isil:源汇属性验证库规范的自动推理(2013) Finnis,Joshua;Saigal,Nalin;Imanitchi,Adriana;Ligatti,Jay:移动设备的基于位置的策略规范语言(2012) ioport公司