Copertina

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Xiao, Yuan-An, Wang, Weixuan, Liu, Dong, Zhou, Junwei, Cheng, Shengyu, Xiong, Yingfei
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

Numeric Truncation Security Predicate
di: Mezhuev, Timofey, et al.
Pubblicazione: (2023)

Inductive Predicate Synthesis Modulo Programs (Extended)
di: Wesley, Scott, et al.
Pubblicazione: (2024)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
di: Xiao, Yuan-An, et al.
Pubblicazione: (2023)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
di: Liu, Ye, et al.
Pubblicazione: (2024)

Automated Code Repair for C/C++ Static Analysis Alerts
di: Svoboda, David, et al.
Pubblicazione: (2025)

Locus: Agentic Predicate Synthesis for Directed Fuzzing
di: Zhu, Jie, et al.
Pubblicazione: (2025)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
di: Zhao, Yuwei, 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)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
di: Wu, Guanxuan, et al.
Pubblicazione: (2024)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
di: Fang, Jian, et al.
Pubblicazione: (2026)

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
di: Hooda, Ashish, et al.
Pubblicazione: (2024)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
di: Liu, Junwei, et al.
Pubblicazione: (2024)

Reducing Cost of LLM Agents with Trajectory Reduction
di: Xiao, Yuan-An, et al.
Pubblicazione: (2025)

Towards Better Static Code Analysis Reports: Sentence Transformer-based Filtering of Non-Actionable Alerts
di: Aladics, Tamás, et al.
Pubblicazione: (2026)

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
di: Cheng, Xiao, et al.
Pubblicazione: (2025)

A Learning Method for Symbolic Systems Using Large Language Models
di: Fang, Jian, et al.
Pubblicazione: (2026)

PathFix: Automated Program Repair with Expected Path
di: He, Xu, et al.
Pubblicazione: (2025)

Isolating Compiler Bugs through Compilation Steps Analysis
di: Liu, Yujie, et al.
Pubblicazione: (2025)

SelfHeal: Empirical Fix Pattern Analysis and Bug Repair in LLM Agents
di: Islam, Niful, et al.
Pubblicazione: (2026)

Line-level Semantic Structure Learning for Code Vulnerability Detection
di: Wang, Ziliang, et al.
Pubblicazione: (2024)

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

On Reasoning-Centric LLM-based Automated Theorem Proving
di: Sun, Yican, et al.
Pubblicazione: (2026)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
di: Li, Fengjie, et al.
Pubblicazione: (2026)

InfraFix: Technology-Agnostic Repair of Infrastructure as Code
di: Saavedra, Nuno, et al.
Pubblicazione: (2025)

From UI to Code: Mobile Ads Detection via LLM-Unified Static-Dynamic Analysis
di: Ma, Shang, et al.
Pubblicazione: (2026)

CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
di: Joos, Pascal, et al.
Pubblicazione: (2025)

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

SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair
di: Gajjar, Jugal, et al.
Pubblicazione: (2025)

Bridging Bug Localization and Issue Fixing: A Hierarchical Localization Framework Leveraging Large Language Models
di: Chang, Jianming, et al.
Pubblicazione: (2025)

Mind the GAPS: Bridging the GAPS between Targeted Dynamic Analysis and Static Path Reconstruction in Android Apps
di: Doria, Samuele, et al.
Pubblicazione: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
di: Huang, Zhechong, et al.
Pubblicazione: (2026)

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

Validity-Preserving Delta Debugging via Generator Trace Reduction
di: Ren, Luyao, et al.
Pubblicazione: (2024)

FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
di: Sun, Yang, et al.
Pubblicazione: (2025)

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

Can Agents Fix Agent Issues?
di: Rahardja, Alfin Wijaya, et al.
Pubblicazione: (2025)

Effective Random Test Generation for Deep Learning Compilers
di: Ren, Luyao, et al.
Pubblicazione: (2023)

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

M2CVD: Enhancing Vulnerability Semantic through Multi-Model Collaboration for Code Vulnerability Detection
di: Wang, Ziliang, et al.
Pubblicazione: (2024)

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