SPLLIFT公司 swMATH ID: 16431 软件作者： 博登，E。；Mezini，M。；布拉布兰德，C。；托利多，T。；里贝罗，M。；波巴，P。 描述： SPLLIFT：静态分析软件产品线只需几分钟，而不是几年。SPLift是一种方法，它允许您自动重用在IFDS框架中实现的过程间静态数据流分析，也可以用于整个软件产品线（SPL）。如果对于普通程序，分析报告在给定语句中可能包含或不包含一条分析信息，则SPL-version报告一个布尔约束，告诉您在该语句中该事实可以包含哪些特征组合。这一切都可以完成，而无需更改客户端分析方面的一行代码。 主页： http://secure-software-engineering.github.io/SPLlift/ 相关软件： AGG公司;ATL公司;Coq公司;轻量级Java;TLA公司;达卡波;github;FlowDroid（流动机器人）;烟尘 引用于： 3文件 全部的 前5名9位作者引用 1 斯文·阿佩尔 1 阿米尔·卡夫什达尔·戈哈沙迪 1 亚历山德鲁·拉泽尔。 1 约格·利比希 1 伊娜·谢弗 1 托马斯·图姆 1 亚历山大·冯·莱恩 1 安德烈·索夫斯基 1 艾哈迈德·哈利德·扎赫尔 连载1篇 2 程序设计中的逻辑和代数方法杂志 在1个字段中引用 三 计算机科学（68-XX） 按年份列出的引文