Cover Image

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	P, Akilesh, Da Silva, Leuson, Khomh, Foutse, Chimalakonda, Sridhar
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CPPJoules: An Energy Measurement Tool for C++
by: S, Shivadharshan, et al.
Published: (2024)

LLMs and Stack Overflow Discussions: Reliability, Impact, and Challenges
by: Da Silva, Leuson, et al.
Published: (2024)

Performance Smells in ML and Non-ML Python Projects: A Comparative Study
by: Belias, François, et al.
Published: (2025)

Continuously Learning Bug Locations
by: Mindom, Paulina Stevia Nouwou, et al.
Published: (2024)

An Empirical Study of Policy-as-Code Adoption in Open-Source Software Projects
by: Foalem, Patrick Loic, et al.
Published: (2026)

A Taxonomy of Inefficiencies in LLM-Generated Python Code
by: Abbassi, Altaf Allah, et al.
Published: (2025)

Exploring Security Practices in Infrastructure as Code: An Empirical Study
by: Verdet, Alexandre, et al.
Published: (2023)

Empirical Characterization of Logging Smells in Machine Learning Code
by: Foalem, Patrick Loic, et al.
Published: (2026)

Empirical Characterization of Logging Smells in Machine Learning Code
by: Foalem, Patrick Loic, et al.
Published: (2026)

Logging Requirement for Continuous Auditing of Responsible Machine Learning-based Applications
by: Foalem, Patrick Loic, et al.
Published: (2025)

ReCatcher: Towards LLMs Regression Testing for Code Generation
by: Abbassi, Altaf Allah, et al.
Published: (2025)

Code Review Automation Via Multi-task Federated LLM -- An Empirical Study
by: Kumar, Jahnavi, et al.
Published: (2024)

BloomAPR: A Bloom's Taxonomy-based Framework for Assessing the Capabilities of LLM-Powered APR Solutions
by: Ma, Yinghang, et al.
Published: (2025)

Leveraging Data Characteristics for Bug Localization in Deep Learning Programs
by: Manke, Ruchira, et al.
Published: (2024)

Impact of LLM-based Review Comment Generation in Practice: A Mixed Open-/Closed-source User Study
by: Olewicki, Doriane, et al.
Published: (2024)

DocFetch - Towards Generating Software Documentation from Multiple Software Artifacts
by: Venigalla, Akhila Sri Manasa, et al.
Published: (2025)

Refactoring with LLMs: Bridging Human Expertise and Machine Understanding
by: Piao, Yonnel Chen Kuang, et al.
Published: (2025)

Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
by: Humeniuk, Dmytro, et al.
Published: (2026)

Common Challenges of Deep Reinforcement Learning Applications Development: An Empirical Study
by: Morovati, Mohammad Mehdi, et al.
Published: (2023)

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

Protecting Privacy in Software Logs: What Should Be Anonymized?
by: Aghili, Roozbeh, et al.
Published: (2024)

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

GIST: Generated Inputs Sets Transferability in Deep Learning
by: Tambon, Florian, et al.
Published: (2023)

Structural Anchors and Reasoning Fragility:Understanding CoT Robustness in LLM4Code
by: Liu, Yang, et al.
Published: (2026)

Towards Understanding the Impact of Data Bugs on Deep Learning Models in Software Engineering
by: Shah, Mehil B, et al.
Published: (2024)

Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning
by: Manke, Ruchira, et al.
Published: (2025)

From Technical Excellence to Practical Adoption: Lessons Learned Building an ML-Enhanced Trace Analysis Tool
by: Shahedi, Kaveh, et al.
Published: (2025)

Machine Learning Robustness: A Primer
by: Braiek, Houssem Ben, et al.
Published: (2024)

Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis
by: Du, Xueying, et al.
Published: (2025)

Real Faults in Model Context Protocol (MCP) Software: a Comprehensive Taxonomy
by: Taraghi, Mina, et al.
Published: (2026)

An Empirical Study of Self-Admitted Technical Debt in Machine Learning Software
by: Bhatia, Aaditya, et al.
Published: (2023)

Fault Localization in Deep Learning-based Software: A System-level Approach
by: Morovati, Mohammad Mehdi, et al.
Published: (2024)

Toward Debugging Deep Reinforcement Learning Programs with RLExplorer
by: Bouchoucha, Rached, et al.
Published: (2024)

Trained Without My Consent: Detecting Code Inclusion In Language Models Trained on Code
by: Majdinasab, Vahid, et al.
Published: (2024)

On the Effectiveness of Log Representation for Log-based Anomaly Detection
by: Wu, Xingfang, et al.
Published: (2023)

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
by: Abukhalaf, Seif, et al.
Published: (2024)

RefAgent: A Multi-agent LLM-based Framework for Automatic Software Refactoring
by: Oueslati, Khouloud, et al.
Published: (2025)

Understanding Web Application Workloads and Their Applications: Systematic Literature Review and Characterization
by: Aghili, Roozbeh, et al.
Published: (2024)

Adversarial Attack Classification and Robustness Testing for Large Language Models for Code
by: Liu, Yang, et al.
Published: (2025)

Reputation Gaming in Stack Overflow
by: Mazloomzadeh, Iren, et al.
Published: (2021)