Image de couverture de livre

Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Yongchao, Cai, Yuandao, Zhang, Charles
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
par: Cai, Yuandao, et autres
Publié: (2026)

Deep Learning Based Concurrency Bug Detection and Localization
par: Feng, Zuocheng, et autres
Publié: (2025)

Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining
par: Jiang, Jiajun, et autres
Publié: (2023)

Push Your Agent: Measuring and Enforcing Quantitative Goal Persistence in Long-Horizon LLM Agents
par: Cai, Yuandao, et autres
Publié: (2026)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
par: Zhang, Jiahao, et autres
Publié: (2025)

Argus: Reorchestrating Static Analysis via a Multi-Agent Ensemble for Full-Chain Security Vulnerability Detection
par: Liang, Zi, et autres
Publié: (2026)

Security Is Relative: Training-Free Vulnerability Detection via Multi-Agent Behavioral Contract Synthesis
par: Wang, Yongchao, et autres
Publié: (2026)

Project Prometheus: Bridging the Intent Gap in Agentic Program Repair via Reverse-Engineered Executable Specifications
par: Wang, Yongchao, et autres
Publié: (2026)

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
par: Du, Xueying, et autres
Publié: (2025)

Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag for Java Projects
par: Lu, Rui, et autres
Publié: (2025)

Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
par: Wang, Dingding, et autres
Publié: (2025)

Formal Verification of Consistency for Systems with Redundant Controllers
par: Johansson, Bjarne, et autres
Publié: (2024)

Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection
par: Cheng, Baijun, et autres
Publié: (2025)

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
par: Wei, Chao, et autres
Publié: (2026)

Parallel Program Analysis on Path Ranges
par: Haltermanna, Jan, et autres
Publié: (2024)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
par: Diamantakis, Panagiotis, et autres
Publié: (2025)

Identification and Optimization of Redundant Code Using Large Language Models
par: Cynthia, Shamse Tasnim
Publié: (2025)

PathFix: Automated Program Repair with Expected Path
par: He, Xu, et autres
Publié: (2025)

Automated Static Warning Identification via Path-based Semantic Representation
par: Zhang, Yuwei, et autres
Publié: (2023)

Context-Sensitive Pointer Analysis for ArkTS
par: Yang, Yizhuo, et autres
Publié: (2026)

Context-aware Code Summary Generation
par: Su, Chia-Yi, et autres
Publié: (2024)

Boosting LLMs for Mutation Generation
par: Wang, Bo, et autres
Publié: (2026)

A Vulnerability Code Intent Summary Dataset
par: Huang, Yifan, et autres
Publié: (2025)

Possible Value Analysis based on Symbolic Lattice
par: Zhan, Qi
Publié: (2024)

RepoSummary: Feature-Oriented Summarization and Documentation Generation for Code Repositories
par: Zhu, Yifeng, et autres
Publié: (2025)

Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference
par: Wang, Chong, et autres
Publié: (2023)

From Noise to Knowledge: Interactive Summaries for Developer Alerts
par: Yetiştiren, Burak, et autres
Publié: (2025)

APPT: Boosting Automated Patch Correctness Prediction via Fine-tuning Pre-trained Models
par: Zhang, Quanjun, et autres
Publié: (2023)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
par: Liu, Junwei, et autres
Publié: (2024)

Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models
par: Liao, Dianshu, et autres
Publié: (2025)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
par: Chen, Zimu, et autres
Publié: (2025)

Redundancy and Concept Analysis for Code-trained Language Models
par: Sharma, Arushi, et autres
Publié: (2023)

VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses
par: Nong, Yu, et autres
Publié: (2023)

Empirical Analysis and Detection of Hallucinations in LLM-Generated Bug Report Summaries
par: Nirujan, Hinduja, et autres
Publié: (2026)

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
par: Ding, Yepeng, et autres
Publié: (2024)

Exploring the Garden of Forking Paths in Empirical Software Engineering Research: A Multiverse Analysis
par: Cassee, Nathan, et autres
Publié: (2025)

Risk Estimation in Differential Fuzzing via Extreme Value Theory
par: Baez, Rafael, et autres
Publié: (2025)

A Feature Dataset of Microservices-based Systems
par: Yang, Weipan, et autres
Publié: (2024)

WhyFlow: Interrogative Debugger for Sensemaking Taint Analysis
par: Yetiştiren, Burak, et autres
Publié: (2025)

Software Model Checking via Summary-Guided Search (Extended Version)
par: Fang, Ruijie, et autres
Publié: (2025)