Copertina

ZeroFalse: Improving Precision in Static Analysis with LLMs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Iranmanesh, Mohsen, Sabet, Sina Moradi, Marefat, Sina, Ghasr, Ali Javidi, Wilson, Allison, Sharafaldin, Iman, Tayebi, Mohammad A.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

PrediQL: Automated Testing of GraphQL APIs with LLMs
di: Liu, Shaolun, et al.
Pubblicazione: (2025)

GraphQLer: Enhancing GraphQL Security with Context-Aware API Testing
di: Tsai, Omar, et al.
Pubblicazione: (2025)

FP-Predictor - False Positive Prediction for Static Analysis Reports
di: Ohlmer, Tom, et al.
Pubblicazione: (2026)

Reducing False Positives in Static Bug Detection with LLMs: An Empirical Study in Industry
di: Du, Xueying, et al.
Pubblicazione: (2026)

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
di: Du, Xueying, et al.
Pubblicazione: (2025)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
di: P, Akilesh, et al.
Pubblicazione: (2026)

Do Code LLMs Do Static Analysis?
di: Su, Chia-Yi, et al.
Pubblicazione: (2025)

Program Decomposition and Translation with Static Analysis
di: Ibrahimzada, Ali Reza
Pubblicazione: (2024)

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference
di: Aman, Ali, et al.
Pubblicazione: (2026)

Bias Testing and Mitigation in Black Box LLMs using Metamorphic Relations
di: Salimian, Sina, et al.
Pubblicazione: (2025)

LLM-Driven Adaptive Source-Sink Identification and False Positive Mitigation for Static Analysis
di: Lin, Shiyin
Pubblicazione: (2025)

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
di: Wickert, Anna-Katharina, et al.
Pubblicazione: (2024)

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues
di: Cui, Han, et al.
Pubblicazione: (2024)

FuzzSlice: Pruning False Positives in Static Analysis Warnings Through Function-Level Fuzzing
di: Murali, Aniruddhan, et al.
Pubblicazione: (2024)

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis
di: Dolcetti, Greta, et al.
Pubblicazione: (2024)

aerial-autonomy-stack -- a Faster-than-real-time, Autopilot-agnostic, ROS2 Framework to Simulate and Deploy Perception-based Drones
di: Panerati, Jacopo, et al.
Pubblicazione: (2026)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
di: Yan, Jiwei, et al.
Pubblicazione: (2024)

"False negative -- that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
di: Ami, Amit Seal, et al.
Pubblicazione: (2023)

Together We Go Further: LLMs and IDE Static Analysis for Extract Method Refactoring
di: Pomian, Dorin, et al.
Pubblicazione: (2024)

RefFilter: Improving Semantic Conflict Detection via Refactoring-Aware Static Analysis
di: Lira, Victor, et al.
Pubblicazione: (2025)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
di: Ngassom, Sylvain Kouemo, et al.
Pubblicazione: (2024)

Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition
di: Neumüller, Denis, et al.
Pubblicazione: (2026)

ZeroCoder: Can LLMs Improve Code Generation Without Ground-Truth Supervision?
di: Fan, Lishui, et al.
Pubblicazione: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
di: Shafiuzzaman, Md, et al.
Pubblicazione: (2026)

Integrating Static Code Analysis Toolchains
di: Kern, Matthias, et al.
Pubblicazione: (2024)

Static Code Analysis with CodeChecker
di: Horvath, Gabor, et al.
Pubblicazione: (2024)

VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM
di: Cheng, Yiran, et al.
Pubblicazione: (2024)

Call Graph Soundness in Android Static Analysis
di: Samhi, Jordan, et al.
Pubblicazione: (2024)

QASecClaw: A Multi-Agent LLM Approach for False Positive Reduction in Static Application Security Testing
di: Ameen, Mohd Ruhul, et al.
Pubblicazione: (2026)

ArkAnalyzer: The Static Analysis Framework for OpenHarmony
di: Chen, Haonan, et al.
Pubblicazione: (2025)

PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis
di: Wang, Zhongyi, et al.
Pubblicazione: (2025)

Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
di: Liu, Jun, et al.
Pubblicazione: (2024)

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
di: Xie, Danning, et al.
Pubblicazione: (2025)

DEPTEX: Organization-First, Open Source Dependency Risk Monitoring
di: Ruckman-Utting, Henry, et al.
Pubblicazione: (2026)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
di: Xiao, Yuan-An, et al.
Pubblicazione: (2025)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
di: Schneider, Simon, et al.
Pubblicazione: (2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
di: Horvath, Gabor, et al.
Pubblicazione: (2024)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
di: Husák, Robert, et al.
Pubblicazione: (2025)

An Empirical Study of Static Analysis Tools for Secure Code Review
di: Charoenwet, Wachiraphan, et al.
Pubblicazione: (2024)

Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
di: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Pubblicazione: (2023)