Microelectronics System Design Research Group, School of EECE, University of Newcastle, Newcastle upon Tyne, UK;
机译:SmartVisual:使用静态分析的Smarthings IoS应用程序的可视化工具
机译:静态数据流结构分析
机译:对Erlang中的函数调用的静态分析。通过使用数据流分析,用动态调用信息完善静态函数调用图
机译:工作船:静态数据流结构编辑,可视化和分析工具
机译:静态分析,用于从具有所有权域批注的面向对象的程序中提取数据流边缘。
机译:DGW:探索性数据分析工具用于表观基因标记的聚类和可视化
机译:Workcraft:一种静态数据流结构编辑,可视化和分析工具
机译:结构化分析工具与战略防御计划架构数据流建模技术的接口。