paperbot · PL 论文追踪

全部论文 待读 收藏

P2 SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods

SWAN_ASSIST:半自动检测代码特定的安全相关方法
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 4/10 · 论文用主动机器学习辅助静态分析配置(识别 Java 安全相关方法),与“AI→PL”中机器学习改进静态分析有部分关联;但它不涉及 LLM/Agent、浮点程序分析或贝叶斯程序分析,也不是把静态分析用于 ML/Agent 系统,因此与当前研究方向核心匹配有限。引用 8 inbox
Goran Piskachev, Lisa Nguyen Quang Do, Oshando Johnson, Eric Bodden
crossref: 2026-09-12

AI 速览

一句话:提出 IntelliJ 插件 SWAN_ASSIST,用主动机器学习与用户反馈半自动识别和分类 Java 安全相关方法(SRM)。

静态分析工具要检测特定缺陷和漏洞,必须正确配置安全相关方法(SRM),如 source、sink、sanitizer 和认证方法,但这一过程通常劳动密集且易错。本文提出半自动工具 SWAN_ASSIST:以 IntelliJ 插件形式集成主动机器学习方法 SWAN,用于识别和分类 Java SRM,并通过迭代学习融入用户反馈。该工具会在每一时刻请用户标注对分类结果影响最大的方法,从而以较少交互提升配置效率。实验表明,SWAN_ASSIST 能以高精度分类 SRM,且用户投入相对较低。论文还提供视频演示和开源代码。

问题
静态分析工具需人工配置安全相关方法(source、sink、sanitizer、认证方法等),过程耗时且易错。
方法
SWAN_ASSIST 以 IntelliJ 插件集成主动机器学习 SWAN 与迭代用户反馈,优先请求用户标注对分类影响最大的方法。
评估
实验显示其能以高精度分类 SRM,且用户所需投入较低;同时提供视频演示与开源实现。
原文摘要(Abstract)

To detect specific types of bugs and vulnerabilities, static analysis tools must be correctly configured with security-relevant methods (SRM), e.g., sources, sinks, sanitizers and authentication methods-usually a very labour-intensive and error-prone process. This work presents the semi-automated tool SWAN_ASSIST, which aids the configuration with an IntelliJ plugin based on active machine learning. It integrates our novel automated machine-learning approach SWAN, which identifies and classifies Java SRM. SWAN_ASSIST further integrates user feedback through iterative learning. SWAN_ASSIST aids developers by asking them to classify at each point in time exactly those methods whose classification best impact the classification result. Our experiments show that SWAN_ASSIST classifies SRM with a high precision, and requires a relatively low effort from the user. A video demo of SWAN_ASSIST can be found at https://youtu.be/fSyD3V6EQOY. The source code is available at https://github.com/secure-software-engineering/swan.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5194,
  title = {SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods},
  author = {Goran Piskachev and Lisa Nguyen Quang Do and Oshando Johnson and Eric Bodden},
  booktitle = {ASE},
  year = {2019},
  doi = {10.1109/ase.2019.00110}
}