Imagen de Portada

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Rao, Zihao, Yang, Yiran, Xu, Hui
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
por: Sim, Hohyun, et al.
Publicado: (2026)

A Trace-based Approach for Code Safety Analysis
por: Xu, Hui
Publicado: (2025)

An Interactive Debugger for Rust Trait Errors
por: Gray, Gavin, et al.
Publicado: (2025)

Towards a Transpiler for C/C++ to Safer Rust
por: Tripuramallu, Dhiren, et al.
Publicado: (2024)

Translating Large-Scale C Repositories to Idiomatic Rust
por: Dehghan, Saman, et al.
Publicado: (2025)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
por: Yang, Aidan Z. H., et al.
Publicado: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
por: Zhou, Zixu
Publicado: (2025)

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
por: Cui, Mohan, et al.
Publicado: (2024)

Annotating and Auditing the Safety Properties of Unsafe Rust
por: Rao, Zihao, et al.
Publicado: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
por: Sim, HoHyun, et al.
Publicado: (2025)

On the Anatomy of Real-World R Code for Static Analysis
por: Sihler, Florian, et al.
Publicado: (2024)

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

Static Deadlock Detection for Rust Programs
por: Zhang, Yu, et al.
Publicado: (2024)

SandCell: Sandboxing Rust Beyond Unsafe Code
por: Zhang, Jialun, et al.
Publicado: (2025)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
por: Jing, Huihao, et al.
Publicado: (2026)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
por: Saravanos, Antonios, et al.
Publicado: (2026)

Translating C To Rust: Lessons from a User Study
por: Li, Ruishi, et al.
Publicado: (2024)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
por: Gao, Yifei, et al.
Publicado: (2025)

CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
por: Li, Hebi, et al.
Publicado: (2023)

A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
por: Zhang, Kaiwen, et al.
Publicado: (2026)

Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
por: Li, Mingyi, et al.
Publicado: (2025)

Neural Code Translation of Legacy Code: APL to C#
por: Ramadan, Abdulrahman, et al.
Publicado: (2026)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
por: Zhang, Kaiwen, et al.
Publicado: (2022)

Micro-Patterns in Solidity Code
por: Ruschioni, Luca, et al.
Publicado: (2025)

Pareto Optimal Code Generation
por: Orlanski, Gabriel, et al.
Publicado: (2025)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
por: Dau, Anh T. V., et al.
Publicado: (2026)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
por: Zhou, Tianyang, et al.
Publicado: (2025)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
por: Abdelrazek, Zeyad, et al.
Publicado: (2026)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
por: Dau, Anh T. V., et al.
Publicado: (2026)

Automated Code Editing with Search-Generate-Modify
por: Liu, Changshu, et al.
Publicado: (2023)

Validated Code Translation for Projects with External Libraries
por: Zhang, Hanliang, et al.
Publicado: (2026)

Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)

Structural Code Search using Natural Language Queries
por: Limpanukorn, Ben, et al.
Publicado: (2025)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
por: Ravikumar, Shruthi, et al.
Publicado: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
por: Pouget, Stéphane, et al.
Publicado: (2024)

Compilation of Commit Changes within Java Source Code Repositories
por: Schott, Stefan, et al.
Publicado: (2024)

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

Automated Code Repair for C/C++ Static Analysis Alerts
por: Svoboda, David, et al.
Publicado: (2025)

From Code to Career: Assessing Competitive Programmers for Industry Placement
por: Akib, Md Imranur Rahman, et al.
Publicado: (2025)