Cover Image

A Trace-based Approach for Code Safety Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Xu, Hui
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
by: Rao, Zihao, et al.
Published: (2024)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
by: Xu, Zhenyu, et al.
Published: (2024)

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

Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)

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

Generating Equivalent Representations of Code By A Self-Reflection Approach
by: Li, Jia, et al.
Published: (2024)

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

Checkification: A Practical Approach for Testing Static Analysis Truths
by: Ferreiro, Daniela, et al.
Published: (2025)

EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
by: van der Vleuten, Noah, et al.
Published: (2025)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
by: Erata, Ferhat, et al.
Published: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

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

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
by: Jiang, Weipeng, et al.
Published: (2024)

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

Pareto Optimal Code Generation
by: Orlanski, Gabriel, et al.
Published: (2025)

Enabling Memory Safety of C Programs using LLMs
by: Mohammed, Nausheen, et al.
Published: (2024)

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

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
by: Esmaeili, Amirreza, et al.
Published: (2025)

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

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
by: Serebryany, Kostya, et al.
Published: (2023)

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

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

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
by: Yrievich, Petro Baran
Published: (2026)

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

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

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

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

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

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

RacerF: Lightweight Static Data Race Detection for C Code
by: Dacík, Tomáš, et al.
Published: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
by: Ren, Xiaoning, et al.
Published: (2025)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
by: Heinze, Thomas S.
Published: (2026)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
by: Bouras, Dimitrios Stamatios, et al.
Published: (2026)

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

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

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
by: Liu, Yuchen, et al.
Published: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)

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

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
by: Amilon, Jesper, et al.
Published: (2026)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)