Copertina

Program Decomposition and Translation with Static Analysis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Ibrahimzada, Ali Reza
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ReCodeAgent: A Multi-Agent Workflow for Language-agnostic Translation and Validation of Large-scale Repositories
di: Ibrahimzada, Ali Reza, et al.
Pubblicazione: (2026)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
di: Ke, Kaiyao, et al.
Pubblicazione: (2025)

MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair
di: Ibrahimzada, Ali Reza, et al.
Pubblicazione: (2025)

Challenging Bug Prediction and Repair Models with Synthetic Bugs
di: Ibrahimzada, Ali Reza, et al.
Pubblicazione: (2023)

Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code
di: Pan, Rangeet, et al.
Pubblicazione: (2023)

AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
di: Ibrahimzada, Ali Reza, et al.
Pubblicazione: (2024)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
di: Husák, Robert, et al.
Pubblicazione: (2025)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
di: Wen, Cheng, et al.
Pubblicazione: (2024)

Robust Mutation Analysis of Quantum Programs Under Noise
di: Fortz, Sophie, et al.
Pubblicazione: (2026)

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

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
di: P, Akilesh, et al.
Pubblicazione: (2026)

Evaluation of Systems Programming Exercises through Tailored Static Analysis
di: Natella, Roberto
Pubblicazione: (2024)

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

Static Code Analysis with CodeChecker
di: Horvath, Gabor, et al.
Pubblicazione: (2024)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
di: Yan, Yanyan, et al.
Pubblicazione: (2026)

Static Program Analysis Guided LLM Based Unit Test Generation
di: Roychowdhury, Sujoy, et al.
Pubblicazione: (2025)

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

Do Code LLMs Do Static Analysis?
di: Su, Chia-Yi, et al.
Pubblicazione: (2025)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
di: Chang, Jianming, et al.
Pubblicazione: (2025)

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

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

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
di: Schneider, Simon, et al.
Pubblicazione: (2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
di: Horvath, Gabor, et al.
Pubblicazione: (2024)

An Empirical Study of Static Analysis Tools for Secure Code Review
di: Charoenwet, Wachiraphan, et al.
Pubblicazione: (2024)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
di: Schneider, Simon, et al.
Pubblicazione: (2024)

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

SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
di: He, Pengfei, et al.
Pubblicazione: (2025)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
di: Xiao, Yuan-An, et al.
Pubblicazione: (2025)

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

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

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

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
di: Huang, Huihui, et al.
Pubblicazione: (2026)

Dynamic and Static Analysis of Python Software with Kieker Including Reconstructed Architectures
di: Larrivain, Daphné, et al.
Pubblicazione: (2025)

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
di: Paltenghi, Matteo, et al.
Pubblicazione: (2023)

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

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
di: Wickert, Anna-Katharina, et al.
Pubblicazione: (2024)

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

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

LitterBox+: An Extensible Framework for LLM-enhanced Scratch Static Code Analysis
di: Fein, Benedikt, et al.
Pubblicazione: (2025)