Buchumschlag

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yao, Peisen, Gu, Zinan, Shi, Qingkai
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
von: Petula, Wyatt, et al.
Veröffentlicht: (2025)

Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
von: Lepori, Andrea, et al.
Veröffentlicht: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
von: Gao, Yifei, et al.
Veröffentlicht: (2025)

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
von: Donyina, Adwoa, et al.
Veröffentlicht: (2025)

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

Fully Randomized Pointers
von: Phaye, Sai Dhawal, et al.
Veröffentlicht: (2024)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
von: Shi, Qingkai, et al.
Veröffentlicht: (2023)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
von: Fujiwara, Yusuke, et al.
Veröffentlicht: (2026)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
von: Ma, Zhiyao, et al.
Veröffentlicht: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
von: Young, David, et al.
Veröffentlicht: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
von: Zhang, Jiahao, et al.
Veröffentlicht: (2025)

MLIR-Forge: A Modular Framework for Language Smiths
von: Ates, Berke, et al.
Veröffentlicht: (2026)

C Analyzer : A Static Program Analysis Tool for C Programs
von: Solanki, Rajendra Kumar
Veröffentlicht: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
von: Liu, Zixi, et al.
Veröffentlicht: (2025)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
von: Guan, Yawen, et al.
Veröffentlicht: (2025)

Developing a Modular Compiler for a Subset of a C-like Language
von: Dutta, Debasish, et al.
Veröffentlicht: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
von: Svoboda, David, et al.
Veröffentlicht: (2025)

Programming of Cellular Automata in C and C++
von: Christen, Patrik
Veröffentlicht: (2024)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
von: Krogstie, Håvard Rognebakke, et al.
Veröffentlicht: (2025)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

JoinActors: A Modular Library for Actors with Join Patterns
von: Hussein, Ayman, et al.
Veröffentlicht: (2026)

Modular Probabilistic Models via Algebraic Effects
von: Nguyen, Minh, et al.
Veröffentlicht: (2022)

Charon: An Analysis Framework for Rust
von: Ho, Son, et al.
Veröffentlicht: (2024)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
von: Korostinskiy, Roman, et al.
Veröffentlicht: (2024)

Qihe: A General-Purpose Static Analysis Framework for Verilog
von: Chen, Qinlin, et al.
Veröffentlicht: (2026)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
von: Fiore, Marcelo P., et al.
Veröffentlicht: (2025)

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
von: Schüssele, Frank, et al.
Veröffentlicht: (2025)

C-lisp and Flexible Macro Programming with S-expressions
von: Padmaraman, Vedanth, et al.
Veröffentlicht: (2024)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
von: Vijayaraghavan, Prashanth, et al.
Veröffentlicht: (2026)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
von: Goldstein, Oliver, et al.
Veröffentlicht: (2024)

&inator: Correct, Precise C-to-Rust Interface Translation
von: Chen, Victor, et al.
Veröffentlicht: (2026)

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
von: Laurent, Jonathan, et al.
Veröffentlicht: (2025)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
von: Hideshima, Takato, et al.
Veröffentlicht: (2024)