Imagen de Portada

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wickert, Anna-Katharina, Schlichtig, Michael, Vogel, Marvin, Winter, Lukas, Mezini, Mira, Bodden, Eric
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Challenges in Android Data Disclosure: An Empirical Study
por: Khedkar, Mugdha, et al.
Publicado: (2026)

Visualizing Privacy-Relevant Data Flows in Android Applications
por: Khedkar, Mugdha, et al.
Publicado: (2025)

Toward an Android Static Analysis Approach for Data Protection
por: Khedkar, Mugdha, et al.
Publicado: (2024)

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

Evaluating and Mitigating Errors in LLM-Generated Web API Integrations
por: Maninger, Daniel, et al.
Publicado: (2025)

The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks
por: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Publicado: (2024)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
por: Karakaya, Kadiray, et al.
Publicado: (2024)

Deep Graph-Language Fusion for Structure-Aware Code Generation
por: Tiftikci, Mert, et al.
Publicado: (2026)

CodeSSM: Towards State Space Models for Code Understanding
por: Verma, Shweta, et al.
Publicado: (2025)

Towards Trustworthy AI Software Development Assistance
por: Maninger, Daniel, et al.
Publicado: (2023)

Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
por: Sakharova, Marina, et al.
Publicado: (2025)

A Soundness and Precision Benchmark for Java Debloating Tools
por: Klauke, Jonas, et al.
Publicado: (2025)

Where Do LLMs Still Struggle? An In-Depth Analysis of Code Generation Benchmarks
por: Sharifloo, Amir Molzam, et al.
Publicado: (2025)

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

A Critical Study of What Code-LLMs (Do Not) Learn
por: Anand, Abhinav, et al.
Publicado: (2024)

PyTy: Repairing Static Type Errors in Python
por: Chow, Yiu Wai, et al.
Publicado: (2024)

Domain-Adaptable Reinforcement Learning for Code Generation with Dense Rewards
por: Jolfaei, Erfan Aghadavoodi, et al.
Publicado: (2026)

An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript
por: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Publicado: (2024)

Software Security Analysis in 2030 and Beyond: A Research Roadmap
por: Böhme, Marcel, et al.
Publicado: (2024)

Integrating Static Code Analysis Toolchains
por: Kern, Matthias, et al.
Publicado: (2024)

LLM-Based Repair of Static Nullability Errors
por: Karimipour, Nima, et al.
Publicado: (2025)

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

Visual Integration of Static and Dynamic Software Analysis in Code Reviews via Software City Visualization
por: Krause-Glau, Alexander, et al.
Publicado: (2024)

Investigating Multimodal Large Language Models to Support Usability Evaluation
por: Lubos, Sebastian, et al.
Publicado: (2025)

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

From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities
por: Krishnamurthy, Ranjith, et al.
Publicado: (2026)

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
por: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Publicado: (2023)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
por: Liao, Zeqin, et al.
Publicado: (2024)

Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects
por: Schott, Stefan, et al.
Publicado: (2025)

Uncovering Hidden Inclusions of Vulnerable Dependencies in Real-World Java Projects
por: Schott, Stefan, et al.
Publicado: (2026)

Compilation of Commit Changes within Java Source Code Repositories
por: Schott, Stefan, et al.
Publicado: (2024)

Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
por: Li, Dongcheng, et al.
Publicado: (2024)

Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
por: Blyth, Scott, et al.
Publicado: (2025)

Crowdsourcing: A Framework for Usability Evaluation
por: Nasir, Muhammad
Publicado: (2024)

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

Program Decomposition and Translation with Static Analysis
por: Ibrahimzada, Ali Reza
Publicado: (2024)

Static Code Analysis with CodeChecker
por: Horvath, Gabor, et al.
Publicado: (2024)

On the Anatomy of Real-World R Code for Static Analysis
por: Sihler, Florian, et al.
Publicado: (2024)

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