Jif公司 19份文件引用(2006年至2021年) 软件作者: A.C.Myers、L.Zheng、S.Zdancewic、S.Chong、N.Nystrom 相关软件: FlowFox;CoSMed;CAVA LTL模型检查器… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
Paragon公司 9份文件引用(2010–2022) 软件作者: 尼古拉斯·布罗伯格(Niklas Broberg);范·德尔夫特,巴特;大卫·桑兹 相关软件: 吉夫;GitHub;SeLINQ… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
TaintDroid公司 8份文件引用(2013–2023) 软件作者: Enck,W.、Gilbert,P.、Han,S.、Tendulkar,V.、Chun,B.-G.、Cox,L.P.、Jung,J.、McDaniel,P.和Sheth,A.N。 相关软件: FlowDroid;戴坦;JFlow… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
掩码验证 9份文件引用(2020–2023) 软件作者: Barthe,G.、Belaíd,S.、Cassiers,G.,Fouque,P.-A.、Grégoire,B.、Standaert,F.-X。 相关软件: 龙卷风;文明;MiMC… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
TAJ公司 7份文件引用(2013–2021) 软件作者: Tripp,O.、Pistoia,M.、Fink,S.J.、Sridharan,M.和Weisman,O。 相关软件: FlowDroid;F4F;Dytan… 主要字段: 计算机科学(68-XX)
JSFlow公司 5份文件引用(2015–2023) 软件作者: 赫丁,D。;Birgisson,A。;Bello,L。;Sabelfeld,A。 相关软件: FlowFox;Jif;JavaScript… 主要字段: 计算机科学(68-XX)
梅林 5份文件引用(2013–2017) 软件作者: Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件: JavaScript;赛纳;TAJ… 主要字段: 计算机科学(68-XX)
阿格利特 引用于3份文件(2010–2017) 软件作者: 杰米·莫根斯坦(Jamie Morgenstern);丹尼尔·李卡塔(Daniel R.Licata)。 相关软件: 层流;哈斯克尔;Ynot… 主要字段: 计算机科学(68-XX)
层压 4份文件引用(2017–2022) 软件作者: Roy I、Porter DE、Bond MD、McKinley KS、Witchel E 相关软件: JFlow;JRIF;Jif… 主要字段: 计算机科学(68-XX)
香蕉 引用于3份文件(2003–2008) 软件作者: 奇亚拉·布拉金(Chiara Braghin);阿戈斯蒂诺·科尔特斯;斯特凡诺·菲利波内;福卡迪、里卡多;Luccio,Flaminia L。;卡拉广场 相关软件: – 主要字段: 计算机科学(68-XX)
CoSMed公司 引用于3份文件(2016–2021) 软件作者: 托马斯·博埃里;佩森提·格里蒂(Pesenti Gritti),阿曼多(Armando);安德烈·波佩斯库;佛朗哥·雷蒙迪 相关软件: FlowFox;CAVA LTL模型检查器;网址(Ur/Web)… 主要字段: 计算机科学(68-XX)
塞林克 引用于3份文件(2014–2022) 软件作者: 丹尼尔·斯科佩(Daniel Schoepe);丹尼尔·赫丁(Daniel Hedin);安德烈·萨贝尔菲尔德 相关软件: JSLINQ公司;用户/网络;GitHub… 主要字段: 计算机科学(68-XX)
JSLINQ公司 2份文件引用(2017–2022) 软件作者: 巴利乌,M。;利伯,B。;斯科佩·D·。;Sabelfeld,A。 相关软件: 塞林克;用户/网络;GitHub… 主要字段: 计算机科学(68-XX)
CoCon公司 1份文件引用(2021) 软件作者: 安德烈·波佩斯库;彼得·兰米奇(Peter Lammich);侯萍 相关软件: FlowFox;存档正式证据;CoSMed… 主要字段: 计算机科学(68-XX)
雨衣 1份文件引用(2019) 软件作者: 马可·瓦塞纳(Marco Vassena);亚历杭德罗·鲁索;巴勃罗,布瑞斯;Waye,Lucas卢卡斯 相关软件: – 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)