Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach (Artifact)

Name: Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach (Artifact)
Creator: University of California, Riverside
Published: 2024-03-05T00:00:00+08:00

Zenodo2024-03-05 更新2026-04-07 收录

软件缺陷检测

静态分析与LLM结合

数据链接：

https://zenodo.org/doi/10.5281/zenodo.10780591 数据链接链接失效反馈

官方服务：

资源简介：

This repo contains all the code and test cases for the paper "Enhancing Static Analysis for Practical Bug Detection: AnLLM-Integrated Approach". LLift is an automated framework enhancing static analysis in bug detection with LLMs.

提供机构：

University of California, Riverside

创建时间：

2024-03-05

Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach (Artifact)

资源简介：

相关数据集