Cover Image

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Korostinskiy, Roman, Darashkevich, Eugene, Rusyaev, Roman, Bugayenko, Yegor
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
by: Zakharov, Vladimir, et al.
Published: (2024)

On the Origins of Objects by Means of Careful Selection
by: Bugayenko, Yegor, et al.
Published: (2022)

$φ$-Calculus: Object-Oriented Formalism
by: Bugayenko, Yegor, et al.
Published: (2021)

Compile-Time Java Stream Fusion via mapMulti
by: Bugayenko, Yegor, et al.
Published: (2026)

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
by: Sukhova, Anna, et al.
Published: (2024)

Programmers Prefer Individually Assigned Tasks vs. Shared Responsibility
by: Krylova, Adela, et al.
Published: (2024)

Which Part of the Heap is Useful? Improving Heap Liveness Analysis
by: Kanvar, Vini, et al.
Published: (2024)

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
by: Walch, Armin, et al.
Published: (2026)

CAM: A Collection of Snapshots of GitHub Java Repositories Together with Metrics
by: Bugayenko, Yegor
Published: (2024)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
by: Lohse, Janine, et al.
Published: (2026)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
by: Yang, Ziyi, et al.
Published: (2025)

vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems
by: Gerber, Markus Elias, et al.
Published: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
by: Pincus, Jared, et al.
Published: (2024)

FO-Complete Program Verification for Heap Logics
by: Murali, Adithya, et al.
Published: (2026)

Dependent-Type-Preserving Memory Allocation
by: Koronkevich, Paulette, et al.
Published: (2025)

Evaluating the Dependency Between Cyclomatic Complexity and Response For Class
by: Stavtsev, Maxim, et al.
Published: (2024)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
by: Hideshima, Takato, et al.
Published: (2024)

Catalpa: GC for a Low-Variance Software Stack
by: Arnold, Anthony, et al.
Published: (2025)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
by: Rose, Abhishek, et al.
Published: (2024)

Reconsidering "Reconsidering Custom Memory Allocation"
by: van Kempen, Nicolas, et al.
Published: (2026)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
by: Makor, Lukas, et al.
Published: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
by: Yu, ZeHao
Published: (2025)

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
by: Zhang, Zehua, et al.
Published: (2025)

Extending the C/C++ Memory Model with Inline Assembly
by: de Vilhena, Paulo Emílio, et al.
Published: (2024)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
by: Kalade, Sarunas, et al.
Published: (2025)

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

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
by: Gumin, Maxim, et al.
Published: (2025)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
by: Reitz, Antonin, et al.
Published: (2024)

System $F^ω$ with Coherent Implicit Resolution
by: Flesselle, Eugène
Published: (2025)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
by: Bouajjani, Ahmed, et al.
Published: (2025)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
by: Yang, Xiaoxiao, et al.
Published: (2017)

Type Universes as Allocation Effects
by: Koronkevich, Paulette, et al.
Published: (2024)

Programming of Cellular Automata in C and C++
by: Christen, Patrik
Published: (2024)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
by: Moosbrugger, Marcel, et al.
Published: (2026)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
by: Du, Xiaotang, et al.
Published: (2026)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
by: Jiang, Yuchen, et al.
Published: (2025)

Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
by: Yao, Peisen, et al.
Published: (2026)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
by: Hughes, Jack, et al.
Published: (2025)