Image de couverture de livre

PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Zhongyi, Chen, Mingshuai, Lin, Tengjie, Yang, Linyu, Zhuo, Junhao, Wang, Qiuye, Qin, Shengchao, Yi, Xiao, Yin, Jianwei
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

Preguss: It Analyzes, It Specifies, It Verifies
par: Wang, Zhongyi, et autres
Publié: (2025)

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
par: Wang, Zhongyi, et autres
Publié: (2025)

Parf: Adaptive Parameter Refining for Abstract Interpretation
par: Wang, Zhongyi, et autres
Publié: (2024)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
par: Wen, Cheng, et autres
Publié: (2024)

GroupTuner: Efficient Group-Aware Compiler Auto-Tuning
par: Gao, Bingyu, et autres
Publié: (2025)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
par: Xiao, Yuan-An, et autres
Publié: (2025)

Do Code LLMs Do Static Analysis?
par: Su, Chia-Yi, et autres
Publié: (2025)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
par: Ma, Zhi, et autres
Publié: (2025)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
par: Wu, Hao, et autres
Publié: (2025)

LLM-Driven Adaptive Source-Sink Identification and False Positive Mitigation for Static Analysis
par: Lin, Shiyin
Publié: (2025)

Automated LTL Specification Generation from Industrial Aerospace Requirements
par: Ma, Zhi, et autres
Publié: (2026)

Abstraction Engineering
par: Bencomo, Nelly, et autres
Publié: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
par: Liu, Ye, et autres
Publié: (2024)

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

Static Analysis Driven Enhancements for Comprehension in Machine Learning Notebooks
par: Venkatesh, Ashwin Prasad Shivarpatna, et autres
Publié: (2023)

ArkAnalyzer: The Static Analysis Framework for OpenHarmony
par: Chen, Haonan, et autres
Publié: (2025)

Dynamic and Static Analysis of Python Software with Kieker Including Reconstructed Architectures
par: Larrivain, Daphné, et autres
Publié: (2025)

Integrating Static Code Analysis Toolchains
par: Kern, Matthias, et autres
Publié: (2024)

Program Decomposition and Translation with Static Analysis
par: Ibrahimzada, Ali Reza
Publié: (2024)

Static Code Analysis with CodeChecker
par: Horvath, Gabor, et autres
Publié: (2024)

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

From UI to Code: Mobile Ads Detection via LLM-Unified Static-Dynamic Analysis
par: Ma, Shang, et autres
Publié: (2026)

Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
par: Li, Dongcheng, et autres
Publié: (2024)

Call Graph Soundness in Android Static Analysis
par: Samhi, Jordan, et autres
Publié: (2024)

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
par: Xie, Danning, et autres
Publié: (2025)

CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection
par: Chen, Xiao
Publié: (2024)

Automated Concern Extraction from Textual Requirements of Cyber-Physical Systems: A Multi-solution Study
par: Jin, Dongming, et autres
Publié: (2025)

ReqElicitGym: An Evaluation Environment for Interview Competence in Conversational Requirements Elicitation
par: Jin, Dongming, et autres
Publié: (2026)

ZeroFalse: Improving Precision in Static Analysis with LLMs
par: Iranmanesh, Mohsen, et autres
Publié: (2025)

Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
par: Shaw, Mary
Publié: (2025)

CircInspect: Integrating Visual Circuit Analysis, Abstraction, and Real-Time Development in Quantum Debugging
par: Khan, Mushahid, et autres
Publié: (2025)

A Conceptual Framework for Requirements Engineering of Pretrained-Model-Enabled Systems
par: Jin, Dongming, et autres
Publié: (2025)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
par: Schneider, Simon, et autres
Publié: (2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
par: Horvath, Gabor, et autres
Publié: (2024)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
par: Husák, Robert, et autres
Publié: (2025)

An Empirical Study of Static Analysis Tools for Secure Code Review
par: Charoenwet, Wachiraphan, et autres
Publié: (2024)

FP-Predictor - False Positive Prediction for Static Analysis Reports
par: Ohlmer, Tom, et autres
Publié: (2026)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
par: Schneider, Simon, et autres
Publié: (2024)

Enhancing Source Code Representations for Deep Learning with Static Analysis
par: Guan, Xueting, et autres
Publié: (2024)

GRACE: Graph-Guided Repository-Aware Code Completion through Hierarchical Code Fusion
par: Wang, Xingliang, et autres
Publié: (2025)