CCured in the real world

No abstract is available for this paper.

• Publication year

  2003

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  2003-05-09

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/781131.781157
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Cyclone: A Safe Dialect of C

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

  2002cited by this paper
• The ccured type system and type inference

  2002cited 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
• Physical type checking for C

  1999cited by this paper
• A theory of type qualifiers

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

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

  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
• Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs

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

  1997influential reference
• Olden: parallelizing programs with dynamic data structures on distributed-memory machines

  1996influential reference
• Efficient Run-time Monitoring Using Shadow Processing

  1995influential reference
• A practical soft type system for Scheme

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

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

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

  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
• Soft typing

  1991cited by this paper
• Quasi-static typing

  1989cited by this paper

• TransVer: A Modular Program-Transformation Framework for Reduction to Reachability

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

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

  2023cites this paper
• How Close Is Existing C/C++ Code to a Safe Subset?

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

  2023influential citation
• Assessing the Impact of Efficiently Protecting Ten Million Stack Objects from Memory Errors Comprehensively

  2023influential citation
• Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects

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

  2022influential citation
• The Taming of the Stack: Isolating Stack Data from Memory Errors

  2022influential citation
• 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
• Deciding memory safety for single-pass heap-manipulating programs

  2019cites this paper
• Deciding Memory Safety for Forest Datastructures

  2019cites this paper
• 1 Deciding Memory Safety for Forest Datastructures

  2019cites this paper
• CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment

  2019cites this paper
• The Case for I/O-Device-as-a-Service

  2019cites this paper
• File Guard: automatic format-based media file sanitization

  2019cites this paper
• Understanding and detecting newly emerging attack vectors in cybercrimes

  2018cites this paper
• A Robust and Efficient Defense against Use-after-Free Exploits via Concurrent Pointer Sweeping

  2018cites this paper
• Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language

  2018cites this paper
• Using run-time randomization against memory corruption attacks on legacy binaries

  2017cites this paper
• Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch?

  2017cites this paper
• Improving the Reliability of the Operating System Inside a VM

  2016cites this paper
• Evidence-based programming language design : a philosophical and methodological exploration

  2015cites this paper
• YAHMD — Yet another heap memory debugger

  2015cites this paper
• 1st Summit on Advances in Programming Languages, SNAPL 2015, Asilomar, California, USA, May 3-6, 2015

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

  2015cites this paper
• Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware

  2015cites this paper
• Risk Assessment of Buffer "Heartbleed" Over-Read Vulnerabilities

  2015cites this paper
• High-level memory model with low-level pointer cast support for Jessie intermediate language

  2015cites this paper
• Everything You Want to Know About Pointer-Based Checking

  2015cites this paper
• Interval Analysis and Machine Arithmetic

  2015cites this paper
• Program transformations to fix C buffer overflows

  2014cites this paper
• SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks

  2014cites this paper
• Automatically Fixing C Buffer Overflows Using Program Transformations

  2014cites this paper
• The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study

  2014cites this paper
• Memory-Size-Assisted Buffer Overflow Detection

  2014cites this paper
• Extended High-Level C-Compatible Memory Model with Limited Low-Level Pointer Cast Support for Jessie Intermediate Language

  2014cites this paper
• Architectural Support to Accelerate Fine-Grain Program Monitoring

  2014influential citation
• Defect Detection-oriented Static Analysis Techniques

  2013cites this paper
• Transparent driver-kernel isolation with VMM intervention

  2013cites this paper
• Chariot: A High Compatible Architecture to Improve Virtual Machine Reliability

  2013cites this paper
• Definin g and Preventing Code-injection Att acks

  2013cites this paper
• QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines

  2013cites this paper
• CPM: Masking Code Pointers to Prevent Code Injection Attacks

  2013cites this paper
• Improving the Reliability of MPI Libraries via Message Flow Checking

  2013cites this paper
• Defining and Preventing Code-injection Attacks

  2013cites this paper
• System Support for Improving the Reliability of MPI Applications and Libraries

  2013cites this paper
• Architectural support for stack buffer overflow exploit prevention

  2012cites this paper
• CAWDOR: Compiler Assisted Worm Defense

  2012influential citation
• Defining code-injection attacks

  2012cites this paper
• Signature Free Buffer Overflow Attack Detection in Peer to Peer Network

  2012cites this paper
• Body Armor for Binaries: Preventing Buffer Overflows Without Recompilation

  2012cites this paper
• Behavior-based worm detection

  2012cites this paper
• Software verification and graph similarity for automated evaluation of students' assignments

  2012cites this paper
• Memory protection at option: application-tailored memory safety in safety-critical embedded systems (Speicherschutz nach Wahl)

  2012cites this paper
• Software Verification and Graph Similarity for Automated Evaluation of Students ’ Assignments I

  2012cites this paper
• Using information flow tracking to protect legacy binaries

  2012cites this paper
• Software Defect Detection-oriented Static Analysis Techniques

  2012cites this paper
• Monitoring Instruction-based Intrusion Detection and Self-healing System

  2012cites this paper
• Hardware Mechanisms for Distributed Dynamic Software Analysis

  2012cites this paper
• The potential of sampling for dynamic analysis

  2011cites this paper
• Position Paper : The Potential of Sampling for Dynamic Analysis

  2011cites this paper
• Hardware Support for Software Debugging

  2011cites this paper
• Addressing production run failures dynamically

  2011cites this paper
• Practical memory safety for C

  2011cites this paper
• Inferring data polymorphism in systems code

  2011cites this paper
• Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems

  2011cites this paper
• Efficient dynamic program monitoring on multi-core systems

  2011cites this paper
• Modular verification of shared-memory concurrent system software

  2011cites this paper
• Improving the performance of program monitors with compiler support in multi-core environment

  2010cites this paper
• Improving Memory Management Security for C and C++

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

  2010cites this paper
• Statistically regulating program behavior via mainstream computing

  2010cites this paper
• Memory protection at option

  2010cites this paper
• Please Continue to Hold: An Empirical Study on User Tolerance of Security Delays

  2010cites this paper
• Low-level liquid types

  2010cites this paper
• FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking

  2010cites this paper
• Monitoring Library Function-based Intrusion Prevention System with Continuing Execution Mechanism

  2010cites this paper
• Security of Software on Mobile Devices

  2010cites this paper
• Decaf: Moving Device Drivers to a Modern Language

  2009cites this paper
• Simplifying Buffer Overflow Detection Using Site-Safe Expressions

  2009cites this paper
• Protecting Global and Static Variables from Buffer Overflow Attacks

  2009cites this paper
• Automatically patching errors in deployed software

  2009cites this paper
• Implementation of the memory-safe full ANSI-C compiler

  2009influential citation
• Pre-patched software

  2009influential citation
• Why Programs Fail, Second Edition: A Guide to Systematic Debugging

  2009cites this paper
• Mechanized Semantics for the Clight Subset of the C Language

  2009cites this paper
• Backward-compatible constant-time exception-protected memory

  2009influential citation
• Data-Flow Analysis for Interrupt-Driven Microcontroller Software

  2008cites this paper
• A Scalable Memory Model for Low-Level Code

  2008cites this paper
• Avoiding Program Failures Through Safe Execution Perturbations

  2008cites this paper
• Liquid types

  2008cites this paper
• A theory of platform-dependent low-level software

  2008influential citation
• Abstraction-level functional programming

  2008cites this paper
• Samurai: protecting critical data in unsafe languages

  2008cites this paper
• Embedded systems security—an overview

  2008cites this paper
• Ex-Mon : An Architectural Framework for Dynamic Program Monitoring on Multicore Processors

  2008cites this paper
• Optimizing Interrupt-Driven Embedded Software

  2008influential citation
• Property-based integrity monitoring of operating system kernels

  2008cites this paper