paperbot · PL 论文追踪

全部论文 待读 收藏

P2 LVing: A Vulnerability Detection and Visualization Platform for Rust

LVing：面向 Rust 的漏洞检测与可视化平台
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10 · 该论文属于静态分析与程序分析工程工具，但应用领域是 Rust 并发漏洞检测，未涉及用户核心关注的 LLM/Agent 与静态分析交叉、浮点程序分析或贝叶斯程序分析。虽有工程落地与可视化，但理论形式化和问题驱动深度有限。引用 0 inbox
Ernesto Diaz, Mark Solis, Young Lee, Jeong Yang, Deep Gandhi
程序分析与抽象解释并发、并行与内存模型
crossref: 2026-09-12

AI 速览

一句话：提出 LVing，基于 LLVM IR 与代码属性图的 Rust 漏洞检测和交互式可视化平台，可发现并发漏洞。

Rust 程序中的数据竞争、释放后使用和线程安全违规等并发漏洞可能逃逸源码级分析工具。LVing 在 LLVM 中间表示（IR）层面工作，将 Rust 源码编译为 LLVM-IR 并构建代码属性图（CPG），存入 Neo4j，从而支持以图查询方式检测漏洞。系统提供 Web 界面，并在源码、IR 与图表示之间进行三向同步的交互式可视化，帮助分析人员理解漏洞成因。作者在 RustSec Advisory Database 的真实 CVE 上评估，成功识别数据竞争、use-after-free 与线程安全违规；可处理约 5000 行代码，分析在 30–60 秒内完成，并以 Docker 容器公开。

问题
Rust 的并发漏洞（数据竞争、释放后使用、线程安全违规）可能在源码级分析中漏检，且缺乏 IR 层检测与可视化工具。
方法
将 Rust 编译到 LLVM-IR，构建代码属性图存入 Neo4j，通过图查询检测漏洞，并提供源码-IR-图三向同步的交互式可视化 Web 界面。
评估
在 RustSec 真实 CVE 上识别数据竞争、use-after-free 和线程安全违规；支持最多 5000 LOC，分析耗时 30–60 秒，以 Docker 发布。
原文摘要（Abstract）

We demonstrate LVing, an interactive vulnerability detection and visualization platform for Rust programs that operates at the LLVM Intermediate Representation (IR) level. LVing transforms Rust source code into Code Property Graphs stored in Neo4j, enabling the querying detection of concurrency vulnerabilities that escape source-level analysis tools. Our demonstration showcases the complete workflow: users submit Rust code through a web interface, the system compiles to LLVM-IR and constructs CPGs, and analysts explore vulnerabilities through interactive graph visualization with three-way synchronization between source code, IR, and graph representations. LVing successfully identifies data races, use-after-free conditions, and thread safety violations in real-world CVEs from the RustSec Advisory Database. The tool handles programs up to 5000 LOC with analysis completing in 30-60 seconds. LVing is publicly available as a Docker container with complete documentation and vulnerability examples at https://github.com/ediaz029/LVing Demo video: https://youtu.be/df_jsB28NFw?si=j4nc8dK-YkaLH1rk

链接与引用

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

BibTeX 
@inproceedings{paperbot11755,
  title = {LVing: A Vulnerability Detection and Visualization Platform for Rust},
  author = {Ernesto Diaz and Mark Solis and Young Lee and Jeong Yang and Deep Gandhi},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3787610}
}