paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Input splitting for cloud-based static application security testing platforms

面向云基静态应用安全测试平台的输入切分
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10 · 论文聚焦云基 SAST 平台的输入切分与工程基础设施，属于静态分析在工业部署场景的扩展，但未涉及用户核心的 LLM/Agent 交叉、浮点程序分析或贝叶斯程序分析，因此匹配度有限。引用 4 inbox
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
程序分析与抽象解释安全与隐私
crossref: 2026-09-12

AI 速览

一句话：面向云基 SAST 平台提出输入切分，以支撑开发团队自建应用安全测试基础设施。

随着软件开发团队采用 DevSecOps 实践，应用安全的责任越来越多地转移到开发团队，他们需要搭建自己的静态应用安全测试（SAST）基础设施。论文标题表明其核心关注云基 SAST 平台中的输入切分（input splitting），即针对云端 SAST 场景对分析输入进行拆分或划分，以适配或改善此类平台的使用。摘要本身仅给出上述 DevSecOps 背景，未说明具体的切分策略、实现机制或实验评估；因此本文可理解为面向云基 SAST 基础设施的工程与静态分析支撑技术研究。

问题
DevSecOps 实践下，开发团队需要自行搭建 SAST 基础设施，云基 SAST 平台成为重要支撑，但摘要未展开其具体技术问题。
方法
标题显示论文采用输入切分（input splitting）方法，面向云基静态应用安全测试平台进行输入划分。
评估
给定摘要未提供评估信息，无法判断实验设置、基准或结果。
原文摘要（Abstract）

As software development teams adopt DevSecOps practices, application security is increasingly the responsibility of development teams, who are required to set up their own Static Application Security Testing (SAST) infrastructure.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot7012,
  title = {Input splitting for cloud-based static application security testing platforms},
  author = {Maria Christakis and Thomas Cottenier and Antonio Filieri and Linghui Luo and Muhammad Numair Mansur and Lee Pike and Nicolás Rosner and Martin Schäf and Aritra Sengupta and Willem Visser},
  booktitle = {FSE},
  year = {2022},
  doi = {10.1145/3540250.3558944}
}