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）；范·德尔夫特，巴特；大卫·桑兹 相关软件： Jif；GitHub；塞林克… 主要字段： 数理逻辑与基础（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医学博士、McKinley KS、Witchel E 相关软件： JFlow；JRIF；Jif… 主要字段： 计算机科学（68-XX）
香蕉 3份文件引用(2003–2008) 软件作者： 奇亚拉·布拉金（Chiara Braghin）；阿戈斯蒂诺·科尔特斯；斯特凡诺·菲利波内；福卡迪、里卡多；Luccio，Flaminia L。；卡拉广场 相关软件： – 主要字段： 计算机科学（68-XX）
CoSMed公司 3份文件引用(2016–2021) 软件作者： Bauereiß，托马斯；佩森提·格里蒂（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。；Liebe，B。；Schoepe博士。；Sabelfeld，A。 相关软件： 塞林克；用户/网络；GitHub… 主要字段： 计算机科学（68-XX）
CoCon公司 1份文件引用(2021) 软件作者： 安德烈·波佩斯库；彼得·兰米奇（Peter Lammich）；侯萍 相关软件： FlowFox公司；存档正式证据；CoSMed… 主要字段： 计算机科学（68-XX）
雨衣 1份文件引用(2019) 软件作者： 马可·瓦塞纳（Marco Vassena）；俄罗斯，亚历杭德罗；巴勃罗，布瑞斯；韦伊，卢卡斯 相关软件： – 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）