Cover Image

Understanding and Detecting Annotation-Induced Faults of Static Analyzers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Huaien, Pei, Yu, Liang, Shuyun, Tan, Shin Hwei
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Investigating Code Reuse in Software Redesign: A Case Study
by: Zhang, Xiaowen, et al.
Published: (2026)

An Empirical Study of Refactoring Engine Bugs
by: Wang, Haibo, et al.
Published: (2024)

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

Dissecting Bug Triggers and Failure Modes in Modern Agentic Frameworks: An Empirical Study
by: Zhang, Xiaowen, et al.
Published: (2026)

Structured Safety Auditing for Balancing Code Correctness and Content Safety in LLM-Generated Code
by: Tan, Honghao, et al.
Published: (2026)

Testing Refactoring Engine via Historical Bug Report driven LLM
by: Wang, Haibo, et al.
Published: (2025)

Guiding ChatGPT to Fix Web UI Tests via Explanation-Consistency Checking
by: Xu, Zhuolin, et al.
Published: (2023)

LLM-Guided Issue Generation from Uncovered Code Segments
by: Pressato, Diany, et al.
Published: (2026)

Ethics Testing: Proactive Identification of Generative AI System Harms
by: Tan, Shin Hwei, et al.
Published: (2026)

Automated Harmfulness Testing for Code Large Language Models
by: Tan, Honghao, et al.
Published: (2025)

StaAgent: An Agentic Framework for Testing Static Analyzers
by: Nnorom, Elijah, et al.
Published: (2025)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
by: Dau, Anh T. V., et al.
Published: (2026)

Moving beyond Deletions: Program Simplification via Diverse Program Transformations
by: Wang, Haibo, et al.
Published: (2024)

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

Are Benchmark Tests Strong Enough? Mutation-Guided Diagnosis and Augmentation of Regression Suites
by: Li, Chenglin, et al.
Published: (2026)

From Historical Patches to Repair Plans: Outcome-Conditioned Reasoning for Repository-Level Program Repair
by: Li, Chenglin, et al.
Published: (2026)

What Makes Code Generation Ethically Sourced?
by: Xu, Zhuolin, et al.
Published: (2025)

Static Code Analyzer Recommendation via Preference Mining
by: Ge, Xiuting, et al.
Published: (2024)

Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-box Fuzzing?
by: Wu, Mingyuan, et al.
Published: (2024)

BloomAPR: A Bloom's Taxonomy-based Framework for Assessing the Capabilities of LLM-Powered APR Solutions
by: Ma, Yinghang, et al.
Published: (2025)

Identifying Bug Inducing Commits by Combining Fault Localisation and Code Change Histories
by: An, Gabin, et al.
Published: (2025)

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

Aligning the Objective of LLM-based Program Repair
by: Xu, Junjielong, et al.
Published: (2024)

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
by: Liu, Fang, et al.
Published: (2025)

Easing Maintenance of Academic Static Analyzers
by: Monat, Raphaël, et al.
Published: (2024)

RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
by: Xu, Tongtong, et al.
Published: (2019)

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

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

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
by: Dau, Anh T. V., et al.
Published: (2026)

A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
by: Kang, Sungmin, et al.
Published: (2023)

Automatic Programming: Large Language Models and Beyond
by: Lyu, Michael R., et al.
Published: (2024)

Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
by: Liao, Zeqin, et al.
Published: (2025)

Similar Pattern Annotation via Retrieval Knowledge for LLM-Based Test Code Fault Localization
by: Gharachorlu, Golnaz, et al.
Published: (2026)

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)

CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
by: Dubniczky, Richard A., et al.
Published: (2025)

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

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

Bugs in the Shadows: Static Detection of Faulty Python Refactorings
by: Oliveira, Jonhnanthan, et al.
Published: (2025)

Fault Localisation and Repair for DL Systems: An Empirical Study with LLMs
by: Kim, Jinhan, et al.
Published: (2025)