FlowDroid（流动机器人） 9份文件引用(2015–2023) 软件作者： Arzt，S.、Rasthofer，S.，Fritz，C.、Bodden，E.、Bartel，A.、Klein，J.、Le Traon，Y.、Octeau，D.、McDaniel，P。 相关软件： 烟尘；TaintDroid；TAJ… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-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）
戴坦 6篇文献引用(2013–2022) 软件作者： Clause，J.、Li，W.、Orso，A。 相关软件： TAJ公司；TaintDroid；像素… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
TAJ公司 引用于7份文件(2013–2021) 软件作者： Tripp，O.、Pistoia，M.、Fink，S.J.、Sridharan，M.和Weisman，O。 相关软件： FlowDroid；F4F；Dytan… 主要字段： 计算机科学（68-XX）
f4英尺 引用于3份文件(2013–2020) 软件作者： Sridharan，M。；阿尔齐，S。；皮斯托亚，M。；瓜尼埃里，S。；跳闸，O。；R·伯格。 相关软件： TAJ公司；戴坦；像素… 主要字段： 计算机科学（68-XX）
调试工具 引用于3份文件(2020–2021) 软件作者： Tikhomirov，S.等人。 相关软件： github；破坏者；LLVM… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
数据传输协议++ 2份文件引用(2012–2019) 软件作者： Kang MG、McCamant S、Poosankam P、Song D 相关软件： 鹌鹑；ANTLR；LeakWatch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
SymJS公司 1份文件引用(2017) 软件作者： Li，G.、Andreasen，E.、Ghosh，I。 相关软件： S3；Z3-str；通过… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
应用镜检查 1份文件引用(2015) 软件作者： Feng，Y.、Anand，S.、Dillig，I.、Aiken，A。 相关软件： AppGuard；EviCheck；双人护卫… 主要字段： 计算机科学（68-XX）
协同检查器 1份文件引用（2014年） 软件作者： 崔兴民；于达；Patrick Chan；Hui，Lucas C.K。；Yiu，S.M。；青思汗 相关软件： 机器人工作台 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
机器人工作台 1份文件引用（2014年） 软件作者： 克里斯蒂安·弗里茨（Christian Fritz）、史蒂文·阿尔兹特（Steven Arzt）、齐格弗里德·拉什霍夫（Siegfried Rasthofer） 相关软件： 协同检查器 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
IccTA公司 在0个文档中引用 软件作者： 李丽；亚历山大·巴特尔；TegawendéF.Bissyandé；雅克·克莱恩；伊夫·勒特朗（Yves Le Traon）；史蒂文·阿尔兹特（Steven Arzt）；等。 相关软件： LibRadar；欺诈Droid；monkeyrunner… 主要字段： –
米斯里鲁 1份文件引用(2021) 软件作者： ConsenSys公司 相关软件： 地幔；Why3；solgraph… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
SEEAD公司 1份文件引用(2019) 软件作者： 汤占勇、王磊、邝开元、薛超、龚晓青、陈晓江、方定一、王征 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）