Cover Image

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Amusuo, Paschal C., Calvo, Ricardo, Anandayuvaraj, Dharun, Lievre, Taylor Le, Kolyakov, Kevin, Jorgensen, Elijah, Machiry, Aravind, Davis, James C.
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Cryptography and Security D.2.4; F.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2025)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
by: Amusuo, Paschal C., et al.
Published: (2024)

Artifact: Learning from software failures: A case study at a national space agency
by: Anandayuvaraj, Dharun
Published: (2025)

LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
by: Tanksalkar, Sai Ritvik, et al.
Published: (2025)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
by: Amusuo, Paschal C., et al.
Published: (2023)

On the Contents and Utility of IoT Cybersecurity Guidelines
by: Chen, Jesse, et al.
Published: (2023)

FAIL: Analyzing Software Failures from the News Using LLMs
by: Anandayuvaraj, Dharun, et al.
Published: (2024)

Towards a Benchmark for Dependency Decision-Making
by: Singla, Tanmay, et al.
Published: (2026)

Learning From Software Failures: A Case Study at a National Space Research Center
by: Anandayuvaraj, Dharun, et al.
Published: (2025)

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
by: Amusuo, Paschal C., et al.
Published: (2025)

A Guide to Stakeholder Analysis for Cybersecurity Researchers
by: Davis, James C, et al.
Published: (2025)

Reactive Bottom-Up Testing
by: Muralee, Siddharth, et al.
Published: (2025)

Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning
by: Kumar, K Naveen, et al.
Published: (2024)

Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper) -- Extended Report
by: Shen, Mingjie, et al.
Published: (2023)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
by: Schultz, William, et al.
Published: (2024)

Speed Kills: Exploring Confused Deputy Attacks Through Edge AI Accelerators
by: Danduri, Datta Manikanta Sri Hari, et al.
Published: (2026)

On the effectiveness of Large Language Models for GitHub Workflows
by: Zhang, Xinyu, et al.
Published: (2024)

Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
by: Sharma, Ayushi, et al.
Published: (2023)

AgentWall: A Runtime Safety Layer for Local AI Agents
by: Aravind, Ashwin
Published: (2026)

Properties of Selector Proofs
by: Gadsby, Elijah
Published: (2025)

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
by: Kolyakov, Kevin, et al.
Published: (2025)

Les effectifs d'étudiants dans l'enseignement supérieur en 2015-2016
by: Algava, Elisabeth, et al.
Published: (2016)

LM-Scout: Analyzing the Security of Language Model Integration in Android Apps
by: Ibrahim, Muhammad, et al.
Published: (2025)

Extending SOUP to ML Models When DesigningCertified Medical Systems
by: Stirbu, Vlad, et al.
Published: (2021)

Performance and egg qualities of laying japanese quails fed yam peel meal based diets with enzymes complex + yeast supplementation
by: Paschal Chukwudi Aguihe
Published: (2022)

Economic Potentials of Using Black Soldier Flies in Transforming Solid Bio‐Waste Into Animal Feeds to Mitigate Greenhouse Gases Emission in Tanzania
by: Proscovia Paschal Kamugisha
Published: (2025)

Adaptive Shielding via Parametric Safety Proofs
by: Feng, Yao, et al.
Published: (2025)

System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
by: Sharifi, Sepehr, et al.
Published: (2024)

Optimisation of SOUP-GAN and CSR-GAN for High Resolution MR Images Reconstruction
by: Rashid, Muneeba, et al.
Published: (2026)

Safety Verification and Optimization in Industrial Drive Systems
by: Hasrat, Imran Riaz, et al.
Published: (2025)

Advancements in Predictive Microbiology: Integrating New Technologies for Efficient Food Safety Models
by: Oluseyi Rotimi Taiwo, et al.
Published: (2024)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
by: Kirchner, Sven, et al.
Published: (2025)

STAKESURE: Proof of Stake Mechanisms with Strong Cryptoeconomic Safety
by: Deb, Soubhik, et al.
Published: (2024)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
by: Frenkel, Eden, et al.
Published: (2026)

Effect of Renal Impairment on the Pharmacokinetics and Safety of Doxecitine and Doxribtimine: A Single‐Dose Phase 1 Study
by: Aravind Mittur, et al.
Published: (2026)

Distributionally Robust Safety Verification for Markov Decision Processes
by: Mazumdar, Abhijit, et al.
Published: (2024)

Incompleteness of AI Safety Verification via Kolmogorov Complexity
by: Hasan, Munawar
Published: (2026)

Containment Verification: AI Safety Guarantees Independent of Alignment
by: Moon, Royce, et al.
Published: (2026)

Safety-Oriented Calibration and Evaluation of the Intelligent Driver Model
by: Adjenughwure, Kingsley, et al.
Published: (2023)

Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies
by: Gross, Dennis, et al.
Published: (2024)