Cover Image

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Santra, Monika, Zhang, Bokai, Lim, Mark, Dasu, Vishnu Asutosh, Zeng, Dongrui, Tan, Gang
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

NeuFair: Neural Network Fairness Repair with Dropout
by: Dasu, Vishnu Asutosh, et al.
Published: (2024)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
by: Dasu, Vishnu Asutosh, et al.
Published: (2026)

Disa: Accurate Learning-based Static Disassembly with Attentions
by: Wang, Peicheng, et al.
Published: (2025)

Semantic-Enhanced Indirect Call Analysis with Large Language Models
by: Cheng, Baijun, et al.
Published: (2024)

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

Privacy-Preserving Data Deduplication for Enhancing Federated Learning of Language Models (Extended Version)
by: Abadi, Aydin, et al.
Published: (2024)

Static JavaScript Call Graphs: A Comparative Study
by: Antal, Gábor, et al.
Published: (2024)

MEMRES: A Memory-Augmented Resolver with Confidence Cascade for Agentic Python Dependency Resolution
by: Minh, Dao Sy Duy, et al.
Published: (2026)

Chain-of-Thought Driven Adversarial Scenario Extrapolation for Robust Language Models
by: Rashid, Md Rafi Ur, et al.
Published: (2025)

Attention Pruning: Automated Fairness Repair of Language Models via Surrogate Simulated Annealing
by: Dasu, Vishnu Asutosh, et al.
Published: (2025)

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
by: Xie, Danning, et al.
Published: (2025)

Gecko: A Simulation Environment with Stateful Feedback for Refining Agent Tool Calls
by: Zhang, Zeyu, et al.
Published: (2026)

Statically Inferring Usage Bounds for Infrastructure as Code
by: Qiao, Feitong, et al.
Published: (2024)

Convert any android device into a programmable IoT device with the help of IoT Everywhere Framework
by: Joshi, Vishnu
Published: (2024)

Understanding and Detecting Annotation-Induced Faults of Static Analyzers
by: Zhang, Huaien, et al.
Published: (2024)

Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker
by: Liu, Jun, et al.
Published: (2024)

VulnResolver: A Hybrid Agent Framework for LLM-Based Automated Vulnerability Issue Resolution
by: Zhang, Mingming, et al.
Published: (2026)

FastFI: Enhancing API Call-Site Robustness in Microservice-Based Systems with Fault Injection
by: Tan, Yuzhen, et al.
Published: (2026)

Resolving Java Code Repository Issues with iSWE Agent
by: Ganhotra, Jatin, et al.
Published: (2026)

MCTS-Refined CoT: High-Quality Fine-Tuning Data for LLM-Based Repository Issue Resolution
by: Wang, Yibo, et al.
Published: (2025)

ARCS: Agentic Retrieval-Augmented Code Synthesis with Iterative Refinement
by: Bhattarai, Manish, et al.
Published: (2025)

UniCode: Augmenting Evaluation for Code Reasoning
by: Zheng, Xinyue, et al.
Published: (2025)

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
by: Abtahi, Seyed Moein, et al.
Published: (2025)

Impact of Data Duplication on Deep Neural Network-Based Image Classifiers: Robust vs. Standard Models
by: Aghabagherloo, Alireza, et al.
Published: (2025)

On Generalization in Agentic Tool Calling: CoreThink Agentic Reasoner and MAVEN Dataset
by: Bhat, Vishvesh, et al.
Published: (2025)

Code Reasoning for Software Engineering Tasks: A Survey and A Call to Action
by: Pujar, Saurabh, et al.
Published: (2025)

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)

ScaleCall -- Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
by: Osuagwu, Richard, et al.
Published: (2025)

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

InfCode: Adversarial Iterative Refinement of Tests and Patches for Reliable Software Issue Resolution
by: Li, KeFan, et al.
Published: (2025)

iSNEAK: Partial Ordering as Heuristics for Model-Based Reasoning in Software Engineering
by: Lustosa, Andre, et al.
Published: (2023)

Cerberus: Multi-Agent Reasoning and Coverage-Guided Exploration for Static Detection of Runtime Errors
by: Dhulipala, Hridya, et al.
Published: (2025)

Adaptable and Precise: Enterprise-Scenario LLM Function-Calling Capability Training Pipeline
by: Zeng, Guancheng, et al.
Published: (2024)

Inconsistencies in TeX-Produced Documents
by: Tan, Jovyn, et al.
Published: (2024)

Generative AI for Object-Oriented Programming: Writing the Right Code and Reasoning the Right Logic
by: Xu, Gang, et al.
Published: (2025)

Integrating Static Code Analysis Toolchains
by: Kern, Matthias, et al.
Published: (2024)

Program Decomposition and Translation with Static Analysis
by: Ibrahimzada, Ali Reza
Published: (2024)

Static Code Analysis with CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

ASA: Training-Free Representation Engineering for Tool-Calling Agents
by: Wang, Youjin, et al.
Published: (2026)

RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
by: Fuster-Pena, Marcos, et al.
Published: (2025)