TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers

No abstract is available for this paper.

• Publication year

  2023

• Venue

  USENIX Symposium on Operating Systems Design and Implementation

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• HeapCheck: Low-cost Hardware Support for Memory Safety

  2022cited by this paper
• ViK: practical mitigation of temporal memory safety violations through object ID inspection

  2022cited by this paper
• DangZero: Efficient Use-After-Free Detection via Direct Page Table Access

  2022influential reference
• PACMem: Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication

  2022cited by this paper
• xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64

  2022cited by this paper
• No-FAT: Architectural Support for Low Overhead Memory Safety Checks

  2021cited by this paper
• Buffer Overflow

  2021cited by this paper
• In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection

  2021cited by this paper
• Prober: Practically Defending Overflows with Page Protection

  2020cited by this paper
• Microsoft Windows

  2020cited by this paper
• BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free

  2019cited by this paper
• CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety

  2019cited by this paper
• Mimalloc: Free List Sharding in Action

  2019influential reference
• FRAMER: a tagged-pointer capability system with memory safety applications

  2019cited by this paper
• Memory Tagging and how it improves C/C++ memory safety

  2018influential reference
• Delta pointers: buffer overflow checks without the checks

  2018influential reference
• SoK: Sanitizing for Security

  2018cited by this paper
• SGXBOUNDS: Memory Safety for Shielded Execution

  2017influential reference
• CUP: Comprehensive User-Space Protection for C/C++

  2017influential reference
• EffectiveSan: type and memory error detection using dynamically typed C/C++

  2017cited by this paper
• Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers

  2017influential reference
• Fast and Generic Metadata Management with Mid-Fat Pointers

  2017cited by this paper
• Safelnit: Comprehensive and Practical Mitigation of Uninitialized Read Vulnerabilities

  2017cited by this paper
• Proceedings of the Twelfth European Conference on Computer Systems

  2017cited by this paper
• DangSan: Scalable Use-after-free Detection

  2017cited by this paper
• UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages

  2016cited by this paper
• An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

  2016cited by this paper
• Heap bounds protection with low fat pointers

  2016influential reference
• Preventing Use-after-free with Dangling Pointers Nullification

  2015cited by this paper
• FreeSentry: protecting against use-after-free vulnerabilities due to dangling pointers

  2015cited by this paper
• The Matter of Heartbleed

  2014cited by this paper
• The CHERI capability model: Revisiting RISC in an age of risk

  2014cited by this paper
• Low-fat pointers: compact encoding and efficient gate-level implementation of fat pointers for spatial safety and capability-based security

  2013influential reference
• SoK: Eternal War in Memory

  2013cited by this paper
• AddressSanitizer: A Fast Address Sanity Checker

  2012influential reference
• Light-weight bounds checking

  2012cited by this paper
• Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities

  2012cited by this paper
• CETS: compiler enforced temporal safety for C

  2010cited by this paper
• PAriCheck: an efficient pointer arithmetic checker for C programs

  2010cited by this paper
• SoftBound: highly compatible and complete spatial memory safety for c

  2009influential reference
• Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors

  2009influential reference
• The PARSEC benchmark suite: Characterization and architectural implications

  2008cited by this paper
• Valgrind: a framework for heavyweight dynamic binary instrumentation

  2007cited by this paper
• Secure Coding in C and C++: Of Strings and Integers

  2006cited by this paper
• Backwards-compatible array bounds checking for C with very low overhead

  2006cited by this paper
• Efficiently Detecting All Dangling Pointer Uses in Production Servers

  2006cited by this paper
• SAFECode: enforcing alias analysis for weakly typed languages

  2005cited by this paper
• A Dynamic Mechanism for Recovering from Buffer Overflow Attacks

  2005cited by this paper
• A Practical Dynamic Buffer Overflow Detector

  2004cited by this paper
• LLVM: a compilation framework for lifelong program analysis & transformation

  2004cited by this paper
• CCured: type-safe retrofitting of legacy code

  2002cited by this paper
• Cyclone: A Safe Dialect of C

  2002cited by this paper
• StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks

  1998cited by this paper
• Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs

  1997cited by this paper
• Fast detection of memory leaks and access errors

  1991cited by this paper

• Analiza delovanja kopice in napadov dvojne sprostitve

  2026cites this paper
• Practical Object-Level Sanitizer with Aggregated Memory Access and Custom Allocator

  2025cites this paper
• A Formal Approach to Multi-Layered Privileges for Enclaves

  2025cites this paper
• Diagnosing and Neutralizing Address-Sensitive Behavior in Multi-Variant Execution Systems

  2025cites this paper
• RangeSanitizer: Detecting Memory Errors with Efficient Range Checks

  2025cites this paper
• GiantSan: Efficient Operation-Level Memory Sanitization with Segment Folding

  2025influential citation
• ShadowBound: Efficient Heap Memory Protection Through Advanced Metadata Management and Customized Compiler Optimization

  2024cites this paper
• Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search

  2024cites this paper
• Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags

  2024influential citation
• GIANTSAN: Efficient Memory Sanitization with Segment Folding

  2024influential citation
• Secure Composition of Robust and Optimising Compilers

  2023cites this paper
• QuickSafe: Targeted Hardening Against Memory Corruption

  year unknowninfluential citation