Large language model-enhanced probabilistic modeling for effective static analysis alarms

Authors:

1 October 2025

journal article
Published by Zhejiang University Press in Frontiers of Information Technology & Electronic Engineering

Vol. 26 (10) , 1926-1941
DOI:10.1631/fitee.2500038

Abstract

Static analysis presents significant challenges in alarm handling, where probabilistic models and alarm prioritization are essential methods for addressing

Keywords

This publication has 21 references indexed in Scilit:

Examining Zero-Shot Vulnerability Repair with Large Language Models
2023
Continuously reasoning about programs using differential Bayesian inference
2019
User-guided program reasoning using Bayesian inference
2018
Machine-Learning-Guided Selectively Unsound Static Analysis
2017
Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software
2016
A user-guided approach to program analysis
2015
Static Backward Program Slicing for Safety-Critical Systems
2015
Static Backward Demand-Driven Slicing
2015
EFindBugs: Effective Error Ranking for FindBugs
2011
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems, 1987