:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Husák, Robert, Kofroň, Jan, Zavoral, Filip
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2503.15675
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Program Decomposition and Translation with Static Analysis
by: Ibrahimzada, Ali Reza
Published: (2024)

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

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

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
by: Wen, Cheng, et al.
Published: (2024)

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

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

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

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
by: Li, Fengjie, et al.
Published: (2024)

Evaluation of Systems Programming Exercises through Tailored Static Analysis
by: Natella, Roberto
Published: (2024)

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

Combined Program Analysis Techniques: A Systematic Mapping Study
by: Braione, Pietro, et al.
Published: (2026)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
by: Wu, Hao, et al.
Published: (2025)

Static Program Analysis Guided LLM Based Unit Test Generation
by: Roychowdhury, Sujoy, et al.
Published: (2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
by: Antoniadis, Anastasios, et al.
Published: (2025)

Integrating Static Code Analysis Toolchains
by: Kern, Matthias, et al.
Published: (2024)

Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

A Comprehensive Study on Static Application Security Testing (SAST) Tools for Android
by: Zhu, Jingyun, et al.
Published: (2024)

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

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

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
by: Marquer, Yoann, et al.
Published: (2026)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
by: Lanzinger, Florian, et al.
Published: (2024)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
by: Chang, Jianming, et al.
Published: (2025)

Parallel Program Analysis on Path Ranges
by: Haltermanna, Jan, et al.
Published: (2024)

eye2vec: Learning Distributed Representations of Eye Movement for Program Comprehension Analysis
by: Yoshioka, Haruhiko, et al.
Published: (2025)

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

ZeroFalse: Improving Precision in Static Analysis with LLMs
by: Iranmanesh, Mohsen, et al.
Published: (2025)

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

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
by: Paltenghi, Matteo, et al.
Published: (2023)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
by: Huang, Huihui, et al.
Published: (2026)

Combining Large Language Models with Static Analyzers for Code Review Generation
by: Jaoua, Imen, et al.
Published: (2025)

On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair
by: Al-Bataineh, Omar I.
Published: (2024)

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
by: He, Pengfei, et al.
Published: (2025)

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

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

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

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

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

Enhancing Source Code Representations for Deep Learning with Static Analysis
by: Guan, Xueting, et al.
Published: (2024)

The Effect of Code Obfuscation on Human Program Comprehension
by: Nguyen, Anh H. N., et al.
Published: (2026)

Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications
by: Hanna, Carol, et al.
Published: (2024)