paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Latent Security Threats in Modern Software Code Logs

现代软件代码日志中的潜在安全威胁
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 2/10 · 论文关注代码日志中的敏感信息泄露检测,主张从模式匹配转向语义安全模型,属于程序分析与安全交叉领域,但与用户核心方向(LLM/Agent 与静态分析结合、浮点程序分析、贝叶斯程序分析)无直接关联,也未涉及 LLM/Agent 或形式化验证。引用 0 inbox
Rrezarta Krasniqi, Abanti Chakraborty Shruti
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:揭示代码日志的安全悖论,主张从模式匹配转向语义安全模型以检测潜在泄露风险。

代码日志是软件可观测性的主要手段,却也是被忽视的安全盲区:记录越多,PII、数据库凭据、API 与私钥等敏感信息被意外捕获和外泄的风险越大。现有工具依赖脆弱的模式匹配与词法签名,仅关注表层语法,缺乏上下文,因而难以识别真正的安全风险。本文指出现有范式不足以应对现代软件复杂度,主张从标准模式匹配转向语义安全模型;通过分析日志相对于周边代码库的结构与上下文层次,将日志视为高优先级的多维构造,并提出自动检测潜在漏洞的替代策略。摘要未报告实证评估,工作以立场论证和方法提议为主。

问题
现代代码日志在提供可观测性的同时形成安全悖论,记录越多越易导致敏感信息外泄;现有词法/模式匹配工具上下文盲,无法自动识别潜在泄露风险。
方法
提出从模式匹配转向语义安全模型,分析代码日志与周边代码库的结构及上下文层次,将日志视为高优先级多维构造以检测潜在漏洞。
评估
摘要未给出实验、数据集或工具实现层面的评估,论文属于立场论证与方法提议。
原文摘要(Abstract)

Software code logs are the primary lens for software system observability, yet they represent a significant, overlooked security blind spot. While essential for intrusion detection and tracking anomalous behavior, code logs create a security paradox since the more data we record for monitoring, the greater the degree for data exfiltration. As modern software systems scale, manual verification becomes impractical, transforming code logs into an unmanaged liability where sensitive information such as PIIs, database credentials, API and private keys is inadvertently captured. Current tools rely on brittle pattern-matching and lexical signatures, rendering them context-blind. Because they focus exclusively on the surface-level syntax, such tools miss the core and intent that define actual security risks. In this paper, we argue that such paradigms are fundamentally insufficient for modern software complexity and propose a shift from standard pattern matching models to semantic security models. By analyzing the structural and contextual layers of code logs relative to the surrounding codebase, we propose alternative strategies to treat logs as highly prioritized dimensional constructs. This approach allows for the automated detection of latent vulnerabilities that currently evade standard security controls.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{KrasniqiS26,
  title = {Latent Security Threats in Modern Software Code Logs},
  author = {Rrezarta Krasniqi and Abanti Chakraborty Shruti},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3806713}
}