CCured: type-safe retrofitting of legacy code

No abstract is available for this paper.

• Publication year

  2002

• Venue

  ACM-SIGACT Symposium on Principles of Programming Languages

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/503272.503286
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Soft typing

  2004cited by this paper
• Debugging via Run-Time Type Checking

  2001cited by this paper
• A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities

  2000cited by this paper
• Aggregate structure identification and its application to program analysis

  1999cited by this paper
• Coping with type casts in C

  1999cited by this paper
• Physical type checking for C

  1999cited by this paper
• A Sound Polymorphic Type System for a Dialect of C

  1998cited by this paper
• Dynamic typing as staged type inference

  1998cited by this paper
• Low‐cost, Concurrent Checking of Pointer and Array Accesses in C Programs

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

  1997cited by this paper
• Objective ML: a simple object-oriented extension of ML

  1997cited by this paper
• Olden: parallelizing programs with dynamic data structures on distributed-memory machines

  1996cited by this paper
• Static detection of dynamic memory errors

  1996cited by this paper
• Effective Flow Analysis for Avoiding Run-Time Checks

  1995cited by this paper
• Efficient Run-time Monitoring Using Shadow Processing

  1995cited by this paper
• Efficient detection of all pointer and array access errors

  1994cited by this paper
• A practical soft type system for Scheme

  1994cited by this paper
• A practical approach to type inference for EuLisp

  1993cited by this paper
• Global tagging optimization by type inference

  1992influential reference
• Adding run‐time checking to the portable C compiler

  1992cited by this paper
• Dynamic typing in a statically typed language

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

  1991cited by this paper
• Computing with coercions

  1990cited by this paper
• Quasi-static typing

  1989cited by this paper
• Garbage collection in an uncooperative environment

  1988cited by this paper
• CLU Reference Manual

  1984cited by this paper

• WASP: Stack protection for WebAssembly

  2026cites this paper
• Design of Safe C Language for Program Verification

  2026cites this paper
• SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks

  2026cites this paper
• CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems

  2025cites this paper
• μFork: Supporting POSIX fork Within a Single-Address-Space OS

  2025cites this paper
• BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries

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

  2025cites this paper
• Design, Realization, and Evaluation of FastDIM to Prevent Memory Corruption Attacks

  2025cites this paper
• Cryptographic Least Privilege Enforcement for Scalable Memory Isolation

  2025cites this paper
• TransVer: A Modular Program-Transformation Framework for Reduction to Reachability

  2025cites this paper
• Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees

  2025cites this paper
• Descriptor-Based Object-Aware Memory Systems: A Comprehensive Review

  2025cites this paper
• Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement

  2025cites this paper
• LLM Assistance for Memory Safety

  2025cites this paper
• Cage: Hardware-Accelerated Safe WebAssembly

  2024cites this paper
• BOSS: A Dataset to Train ML-Based Systems to Repair Programs with Out-of-Bounds Write Flaws

  2024cites this paper
• Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance

  2024cites this paper
• Foundations for a Rust-Like Borrow Checker for C

  2024cites this paper
• DMAAUTH: A Lightweight Pointer Integrity-based Secure Architecture to Defeat DMA Attacks

  2024cites this paper
• LightDE: A Lightweight Method for Eliminating Dangling Pointers

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

  2024influential citation
• Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries

  2024cites this paper
• Fully Randomized Pointers

  2024cites this paper
• Memory Tagging using Cryptographic Integrity on Commodity x86 CPUs

  2024cites this paper
• Towards a Rust-Like Borrow Checker for C

  2024cites this paper
• GuaNary: Efficient Buffer Overflow Detection In Virtualized Clouds Using Intel EPT-based Sub-Page Write Protection Support

  2023cites this paper
• Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging

  2023cites this paper
• Cryptographically Enforced Memory Safety

  2023influential citation
• TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers

  2023cites this paper
• A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety

  2023influential citation
• Improving Automatic C-to-Rust Translation with Static Analysis

  2023cites this paper
• GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production

  2023cites this paper
• Accelerating Type Confusion Detection by Identifying Harmless Type Castings

  2023cites this paper
• Top of the Heap: Efficient Memory Error Protection for Many Heap Objects

  2023influential citation
• “Rewrite it in Rust” Considered Harmful? Security Challenges at the C-Rust FFI Anonymous Authors

  2023cites this paper
• A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety

  2023cites this paper
• CGuard: Scalable and Precise Object Bounds Protection for C

  2023cites this paper
• MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking

  2023influential citation
• Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs

  2023cites this paper
• MEMES: Memory Encryption-Based Memory Safety on Commodity Hardware

  2023cites this paper
• Assessing the Impact of Efficiently Protecting Ten Million Stack Objects from Memory Errors Comprehensively

  2023influential citation
• VIPER: Spotting Syscall-Guard Variables for Data-Only Attacks

  2023cites this paper
• Low-Cost Privilege Separation with Compile Time Compartmentalization for Embedded Systems

  2023cites this paper
• Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects

  2023cites this paper
• Type Patterns: Pattern Matching on Shape-Carrying Array Types

  2023cites this paper
• HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading

  2023cites this paper
• Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone?

  2022cites this paper
• Creating concise and efficient dynamic analyses with ALDA

  2022cites this paper
• Semantic soundness for language interoperability

  2022cites this paper
• Fat Pointers for Temporal Memory Safety of C

  2022cites this paper
• CryptSan: Leveraging ARM Pointer Authentication for Memory Safety in C/C++

  2022influential citation
• FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers

  2022influential citation
• HWST128: Complete Memory Safety Accelerator on RISC-V with Metadata Compression

  2022cites this paper
• Hardening binaries against more memory errors

  2022cites this paper
• HeapCheck: Low-cost Hardware Support for Memory Safety

  2022cites this paper
• The Taming of the Stack: Isolating Stack Data from Memory Errors

  2022influential citation
• Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

  2022cites this paper
• PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++

  2022influential citation
• ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC

  2022cites this paper
• SHORE: Hardware/Software Method for Memory Safety Acceleration on RISC-V

  2021cites this paper
• Identifying Non-Control Security-Critical Data through Program Dependence Learning

  2021cites this paper
• RefinedC: automating the foundational verification of C code with refined ownership types

  2021cites this paper
• PICO

  2021cites this paper
• Explore Capabilities and Effectiveness of Reverse Engineering Tools to Provide Memory Safety for Binary Programs

  2021cites this paper
• MESH: A Memory-Efficient Safe Heap for C/C++

  2021cites this paper
• Identifying Non-Control Security-Critical Data in Program Binaries with a Deep Neural Model

  2021cites this paper
• Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities

  2021cites this paper
• Hardware Support for Low-Cost Memory Safety

  2021cites this paper
• Boosting static analysis accuracy with instrumented test executions

  2021cites this paper
• CGuard: Efficient Spatial Safety for C

  2021cites this paper
• UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities

  2021cites this paper
• Runtime detection of memory errors with smart status

  2021influential citation
• Exploitation Techniques for Data-oriented Attacks with Existing and Potential Defense Approaches

  2021cites this paper
• Memory Safety for Binary Programs

  2021cites this paper
• Automated Code Repair to Ensure Spatial Memory Safety

  2021cites this paper
• Quantifying Soft-Error Resilience of Embedded RISC-V Systems with Capability-based Memory Protection

  2020cites this paper
• Scalable Static Detection of Use-After-Free Vulnerabilities in Binary Code

  2020cites this paper
• Smart-troubleshooting connected devices: Concept, challenges and opportunities

  2020cites this paper
• RefinedC: A Foundational Refinement Type System for C Based on Separation Logic Programming

  2020cites this paper
• xMP: Selective Memory Protection for Kernel and User Space

  2020cites this paper
• Prober: Practically Defending Overflows with Page Protection

  2020cites this paper
• Saturation Memory Access: Mitigating Memory Spatial Errors without Terminating Programs.

  2020cites this paper
• CHEx86: Context-Sensitive Enforcement of Memory Safety via Microcode-Enabled Capabilities

  2020cites this paper
• Static detection of real-world buffer overflow induced by loop

  2020cites this paper
• RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system

  2020cites this paper
• SMA: Eliminate Memory Spatial Errors via Saturation Memory Access

  2020cites this paper
• Complete spatial safety for C and C++ using CHERI capabilities

  2020influential citation
• Sound garbage collection for C using pointer provenance

  2020cites this paper
• The Guardian Council: Parallel Programmable Hardware Security

  2020cites this paper
• Type checking beyond type checkers, via slice & run

  2020cites this paper
• Spiffy

  2020cites this paper
• Fuzzing Binaries for Memory Safety Errors with QASan

  2020cites this paper
• Observational Abstract Interpreters

  2020cites this paper
• Securing UnSafe Rust Programs with XRust

  2020cites this paper
• CoDaRR: Continuous Data Space Randomization against Data-Only Attacks

  2020cites this paper
• FRed: Conditional Model Checking via Reducers and Folders

  2020cites this paper
• BoundWarden: Thread-enforced spatial memory safety through compile-time transformations

  2020cites this paper
• RefinedC: An Extensible Refinement Type System for C Based on Separation Logic Programming

  2020influential citation
• Type Inference for C

  2020cites this paper
• Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process

  2020cites this paper