Buchumschlag

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	McCormack, Ian, Sunshine, Joshua, Aldrich, Jonathan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering D.2.12; D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
von: McCormack, Ian, et al.
Veröffentlicht: (2024)

Decoupling Adaptive Control in TeaStore
von: Truyen, Eddy
Veröffentlicht: (2025)

Good modelling software practices
von: Lemmen, Carsten, et al.
Veröffentlicht: (2024)

Interoperability From Kieker to OpenTelemetry: Demonstrated as Export to ExplorViz
von: Reichelt, David Georg, et al.
Veröffentlicht: (2024)

Don't mention it: An approach to assess challenges to using software mentions for citation and discoverability research
von: Druskat, Stephan, et al.
Veröffentlicht: (2024)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
von: Bai, Yubo, et al.
Veröffentlicht: (2025)

OpenHealth Lake: Designing and testing a data lakehouse platform for health applications
von: Silva, Danilo, et al.
Veröffentlicht: (2026)

The Kieker Observability Framework Version 2
von: Yang, Shinhyung, et al.
Veröffentlicht: (2025)

Towards the interoperability of low-code platforms
von: Alfonso, Iván, et al.
Veröffentlicht: (2024)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
von: Ariamajd, Armin, et al.
Veröffentlicht: (2025)

SAGAI-MID: A Generative AI-Driven Middleware for Dynamic Runtime Interoperability
von: Larsen, Oliver Aleksander, et al.
Veröffentlicht: (2026)

ECM Contracts: Contract-Aware, Versioned, and Governable Capability Interfaces for Embodied Agents
von: Qin, Xue, et al.
Veröffentlicht: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
von: Braione, Pietro, et al.
Veröffentlicht: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
von: Yoon, Gangho, et al.
Veröffentlicht: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
von: Yu, Boxi, et al.
Veröffentlicht: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
von: Sharmin, Shaila, et al.
Veröffentlicht: (2025)

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
von: Effendi, Sedick David Baker, et al.
Veröffentlicht: (2025)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
von: Borysenkov, Dmytro, et al.
Veröffentlicht: (2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations
von: Deng, Xun, et al.
Veröffentlicht: (2024)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
von: Lu, Minghai, et al.
Veröffentlicht: (2025)

A History Equivalence Algorithm for Dynamic Process Migration
von: Bakshi, Gargi, et al.
Veröffentlicht: (2024)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

Understanding and Reusing Test Suites Across Database Systems
von: Zhong, Suyang, et al.
Veröffentlicht: (2024)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
von: Kiashemshaki, Kiana, et al.
Veröffentlicht: (2025)

Rethinking Software Empirical Studies with Structural Causal Models
von: Rodriguez-Cardenas, Daniel, et al.
Veröffentlicht: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
von: Zietsman, Christo
Veröffentlicht: (2026)

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
von: Yusuf, Hadiza Umar, et al.
Veröffentlicht: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
von: Andersson, Vivi, et al.
Veröffentlicht: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
von: Lucio, Levi
Veröffentlicht: (2026)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
von: Kessel, Marcus
Veröffentlicht: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
von: Garcia, Rémi, et al.
Veröffentlicht: (2024)

Model checking of hyperproperties for high-level relational models
von: Macedo, Nuno, et al.
Veröffentlicht: (2025)

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
von: Lauer, Alexander, et al.
Veröffentlicht: (2026)

Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
von: Paiva, Camila A., et al.
Veröffentlicht: (2026)

Site Reliability Engineering (SRE) and Observations on SRE Process to Make Tasks Easier
von: Puli, Balaram
Veröffentlicht: (2025)

Resilient Microservices: A Systematic Review of Recovery Patterns, Strategies, and Evaluation Frameworks
von: Mohammad, Muzeeb
Veröffentlicht: (2025)