On the public citation graph
MemSafe: ensuring the spatial and temporal memory safety of C at runtime
0 signed · 111 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1097-024x(199701)27:1<87::aid-spe78>3.0.co;2-popenalex-snapshot
Low-cost, Concurrent Checking of Pointer and Array Accesses in C Programs
inferredcites →https://doi.org/10.1002/spe.4380180902openalex-snapshot
Garbage collection in an uncooperative environment
inferredcites →https://doi.org/10.1002/spe.4380230704openalex-snapshot
The measured cost of conservative garbage collection
inferredcites →https://doi.org/10.1007/3-540-61053-7_66openalex-snapshot
Effective representation of aliases and indirect memory operations in SSA form
inferredcites →https://doi.org/10.1007/s10009-007-0044-zopenalex-snapshot
The software model checker Blast
inferredcites →https://doi.org/10.1007/springerreference_16847openalex-snapshot
International Organization for Standardization
inferredcites →https://doi.org/10.1109/cgo.2004.1281665openalex-snapshot
LLVM: a compilation framework for lifelong program analysis & transformation
inferredcites →https://doi.org/10.1109/dsn.2006.31openalex-snapshot
Efficiently Detecting All Dangling Pointer Uses in Production Servers
inferredcites →https://doi.org/10.1109/scam.2010.15openalex-snapshot
MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime
inferredcites →https://doi.org/10.1109/sp.2008.30openalex-snapshot
Preventing Memory Error Exploits with WIT
inferredcites →https://doi.org/10.1145/1017753.1017776openalex-snapshot
Garbage collection for embedded systems
inferredcites →https://doi.org/10.1145/1029894.1029913openalex-snapshot
An efficient and backwards-compatible transformation to ensure memory safety of C programs
inferredcites →https://doi.org/10.1145/1065887.1065892openalex-snapshot
CCured: type-safe retrofitting of legacy software
inferredcites →https://doi.org/10.1145/1086297.1086307openalex-snapshot
Segment protection for embedded systems using run-time checks
inferredcites →https://doi.org/10.1145/1134285.1134309openalex-snapshot
Backwards-compatible array bounds checking for C with very low overhead
inferredcites →https://doi.org/10.1145/115372.115320openalex-snapshot
Efficiently computing static single assignment form and the control dependence graph
inferredcites →https://doi.org/10.1145/1196636.1196637openalex-snapshot
Memory overflow protection for embedded systems using run-time checks, reuse, and compression
inferredcites →https://doi.org/10.1145/1250734.1250784openalex-snapshot
Static error detection using semantic inconsistency inference
inferredcites →https://doi.org/10.1145/1273442.1250784openalex-snapshot
Static error detection using semantic inconsistency inference
inferredcites →https://doi.org/10.1145/1321631.1321673openalex-snapshot
Effective memory protection using dynamic tainting
inferredcites →https://doi.org/10.1145/1542476.1542505openalex-snapshot
Implementation of the memory-safe full ANSI-C compiler
inferredcites →https://doi.org/10.1145/1543135.1542505openalex-snapshot
Implementation of the memory-safe full ANSI-C compiler
inferredcites →https://doi.org/10.1145/155090.155094openalex-snapshot
Efficient accommodation of may-alias information in SSA form
inferredcites →https://doi.org/10.1145/173262.155094openalex-snapshot
Efficient accommodation of may-alias information in SSA form
inferredcites →https://doi.org/10.1145/178243.178446openalex-snapshot
Efficient detection of all pointer and array access errors
inferredcites →https://doi.org/10.1145/201059.201065openalex-snapshot
Supporting dynamic data structures on distributed-memory machines
inferredcites →https://doi.org/10.1145/773473.178446openalex-snapshot
Efficient detection of all pointer and array access errors
inferredcites →https://doi.org/10.1145/93542.93578openalex-snapshot
The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages
inferredcites →https://doi.org/10.1145/940071.940113openalex-snapshot
Protecting C programs from attacks via invalid pointer dereferences
inferredcites →https://doi.org/10.1145/940071.940114openalex-snapshot
Tracking pointers with path and context sensitivity for bug detection in C programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.2184openalex-snapshot
Dereferee: instrumenting C++ pointers with meaningful runtime diagnostics
inferred← citeshttps://doi.org/10.1002/spe.2406openalex-snapshot
LeakSpot: detection and diagnosis of memory leaks in JavaScript applications
inferred← citeshttps://doi.org/10.1002/spe.3057openalex-snapshot
SafeOSL: Ensuring memory safety of C via ownership‐based intermediate language
inferred← citeshttps://doi.org/10.1007/978-3-030-00470-5_17openalex-snapshot
MicroStache: A Lightweight Execution Context for In-Process Safe Region Isolation
inferred← citeshttps://doi.org/10.1007/978-3-030-93206-0_2openalex-snapshot
Explore Capabilities and Effectiveness of Reverse Engineering Tools to Provide Memory Safety for Binary Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_18openalex-snapshot
CCMOP: A Runtime Verification Tool for C/C++ Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-64626-3_12openalex-snapshot
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing
inferred← citeshttps://doi.org/10.1007/978-3-319-21410-8_46openalex-snapshot
Novel Designs for Memory Checkers Using Semantics and Digital Sequential Circuits
inferred← citeshttps://doi.org/10.1007/978-3-319-67531-2_18openalex-snapshot
Runtime Detection of Temporal Memory Errors
inferred← citeshttps://doi.org/10.1007/978-3-319-72817-9_9openalex-snapshot
Enforcing Memory Safety in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-92994-1_8openalex-snapshot
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report
inferred← citeshttps://doi.org/10.1007/978-3-319-94496-8_2openalex-snapshot
Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_10openalex-snapshot
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs
inferred← citeshttps://doi.org/10.1007/s10648-023-09818-1openalex-snapshot
The Cognitive Architecture of Digital Externalization
inferred← citeshttps://doi.org/10.1007/s11227-022-04694-yopenalex-snapshot
Exploring effective uses of the tagged memory for reducing bounds checking overheads
inferred← citeshttps://doi.org/10.1016/j.cl.2016.01.001openalex-snapshot
Lightweight runtime checking of C programs with RTC
inferred← citeshttps://doi.org/10.1016/j.cose.2020.101832openalex-snapshot
CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1016/j.ijcip.2021.100431openalex-snapshot
SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1016/j.jnca.2020.102534openalex-snapshot
A Survey of Exploitation Techniques and Defenses for Program Data Attacks
inferred← citeshttps://doi.org/10.1016/j.scico.2016.09.003openalex-snapshot
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103395openalex-snapshot
CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing
inferred← citeshttps://doi.org/10.1109/dsd.2014.79openalex-snapshot
AHEMS: Asynchronous Hardware-Enforced Memory Safety
inferred← citeshttps://doi.org/10.1109/icse-companion55297.2022.9793834openalex-snapshot
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation
inferred← citeshttps://doi.org/10.1109/icse.2015.36openalex-snapshot
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery
inferred← citeshttps://doi.org/10.1109/iiswc66894.2025.00042openalex-snapshot
Sweet or Sour CHERI: Performance Characterization of the Arm Morello Platform
inferred← citeshttps://doi.org/10.1109/secdev.2016.037openalex-snapshot
Automated Code Repair Based on Inferred Specifications
inferred← citeshttps://doi.org/10.1109/tse.2021.3121994openalex-snapshot
Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone?
inferred← citeshttps://doi.org/10.1109/tse.2022.3210580openalex-snapshot
A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety
inferred← citeshttps://doi.org/10.1145/2660193.2660205openalex-snapshot
Validation of memory accesses through symbolic analyses
inferred← citeshttps://doi.org/10.1145/2695664.2695815openalex-snapshot
Fast as a shadow, expressive as a tree
inferred← citeshttps://doi.org/10.1145/2714064.2660205openalex-snapshot
Validation of memory accesses through symbolic analyses
inferred← citeshttps://doi.org/10.1145/2768566.2768572openalex-snapshot
Exploring the performance implications of memory safety primitives in many-core processors executing multi-threaded workloads
inferred← citeshttps://doi.org/10.1145/2786558.2786565openalex-snapshot
Memory-safe Execution of C on a Java VM
inferred← citeshttps://doi.org/10.1145/3183440.3195090openalex-snapshot
Beyond spatial and temporal memory safety
inferred← citeshttps://doi.org/10.1145/3224423openalex-snapshot
Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack
inferred← citeshttps://doi.org/10.1145/3293882.3330581openalex-snapshot
Detecting memory errors at runtime with source-level instrumentation
inferred← citeshttps://doi.org/10.1145/3375408.3375416openalex-snapshot
Soundness of a Dataflow Analysis for Memory Monitoring
inferred← citeshttps://doi.org/10.1145/3428244openalex-snapshot
Sound garbage collection for C using pointer provenance
inferred← citeshttps://doi.org/10.1145/3460319.3464807openalex-snapshot
Runtime detection of memory errors with smart status
inferred← citeshttps://doi.org/10.1145/3460319.3464835openalex-snapshot
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities
inferred← citeshttps://doi.org/10.1145/3464974.3468451openalex-snapshot
The e-ACSL perspective on runtime assertion checking
inferred← citeshttps://doi.org/10.1145/3503222.3507780openalex-snapshot
ViK: practical mitigation of temporal memory safety violations through object ID inspection
inferred← citeshttps://doi.org/10.1145/3510454.3516872openalex-snapshot
A dynamic analysis tool for memory safety based on smart status and source-level instrumentation
inferred← citeshttps://doi.org/10.1145/3551349.3559566openalex-snapshot
Coverage-based Greybox Fuzzing with Pointer Monitoring for C Programs
inferred← citeshttps://doi.org/10.1145/3586038openalex-snapshot
Fat Pointers for Temporal Memory Safety of C
inferred← citeshttps://doi.org/10.1145/3637227openalex-snapshot
A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety
inferred← citeshttps://doi.org/10.1145/3814943.3816182openalex-snapshot
A Pointer-Ownership Model for C Inspired by Rust
inferred← citeshttps://doi.org/10.1145/3832783.3837447openalex-snapshot
RamFuzz: LLM-Guided Greybox Fuzzing for Spatial Memory Corruption via Valid Range Violation
inferred← citeshttps://doi.org/10.14722/ndss.2019.23541openalex-snapshot
CRCount: Pointer Invalidation with Reference Counting to Mitigate Use-after-free in Legacy C/C++
inferred← citeshttps://doi.org/10.14722/ndss.2022.23060openalex-snapshot
The Taming of the Stack: Isolating Stack Data from Memory Errors
inferred← citeshttps://doi.org/10.1504/ijics.2016.079187openalex-snapshot
A qualitative framework for evaluating buffer overflow protection mechanisms
inferred← citeshttps://doi.org/10.17760/d20467218openalex-snapshot
Understanding and mitigating memory corruption attacks
inferred← citeshttps://doi.org/10.4230/lipics.snapl.2015.190openalex-snapshot
Everything You Want to Know About Pointer-Based Checking
inferred← citeshttps://doi.org/10.48550/arxiv.1702.00719openalex-snapshot
Intel MPX Explained: An Empirical Study of Intel MPX and Software-based Bounds Checking Approaches
inferred← citeshttps://doi.org/10.48550/arxiv.1809.07477openalex-snapshot
Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS
inferred← citeshttps://doi.org/10.48550/arxiv.1810.11622openalex-snapshot
FRAMER: A Software-based Capability Model
inferred← citeshttps://doi.org/10.5555/2818754.2818775openalex-snapshot
Data-delineation in software binaries and its application to buffer-overrun discovery
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.