Dynamically diagnosing type errors in unsafe code

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Conference on Object-Oriented Programming Systems, Languages, and Applications

• Publication date

  2016-10-19

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2983990.2983998
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Into the depths of C: elaborating the de facto standards

  2016influential reference
• A Typed C11 Semantics for Interactive Theorem Proving

  2015cited by this paper
• Towards a dynamic object model within Unix processes

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

  2012cited by this paper
• An executable formal semantics of C with applications

  2011cited by this paper
• Umbra: efficient and scalable memory shadowing

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

  2010influential reference
• SoftBound: highly compatible and complete spatial memory safety for c

  2009influential reference
• Dynamic heap type inference for program understanding and debugging

  2007cited by this paper
• Flow-insensitive type qualifiers

  2006cited by this paper
• Using Valgrind to Detect Undefined Value Errors with Bit-Precision

  2005cited by this paper
• Semantic type qualifiers

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

  2005cited by this paper
• Run-Time Type Checking for Binary Programs

  2003influential reference
• Cyclone: A Safe Dialect of C

  2002influential reference
• Reducing the Overhead of Dynamic Analysis

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

  2002cited by this paper
• CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

  2002influential reference
• Debugging via Run-Time Type Checking

  2001cited by this paper
• Physical type checking for C

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

  1999cited by this paper
• Dynamic Storage Allocation: A Survey and Critical Review

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

  1994cited by this paper
• Type-safe Composition of Object Modules

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

  1991cited by this paper
• The C Programming Language

  1978cited by this paper

• llvm-dimeta: A library for extracting source-level type information in LLVM IR using debug metadata

  2025cites this paper
• Link-Time Optimization of Dynamic Casts in C++ Programs

  2025cites this paper
• A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

  2024cites this paper
• GlobalConfusion: TrustZone Trusted Application 0-Days by Design

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

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

  2020cites this paper
• TCD: Statically Detecting Type Confusion Errors in C++ Programs

  2019cites this paper
• FRAMER: A Software-based Capability Model.

  2019cites this paper
• C R ] 1 M ar 2 01 9 FRAMER : A Software-based Capability Model 1

  2019cites this paper
• FRAMER: a tagged-pointer capability system with memory safety applications

  2019cites this paper
• Preventing Buffer Overflows by Context-aware Failure-oblivious Computing

  2018cites this paper
• Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model

  2018cites this paper
• FRAMER: A Cache-friendly Software-based Capability Model

  2018cites this paper
• Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows

  2018cites this paper
• Challenges in Designing Software Architectures for Web-Based Biomedical Signal Analysis

  2018cites this paper
• Types for the Chain of Trust: No (Loader) Write Left Behind

  2018cites this paper
• Some were meant for C: the endurance of an unmanageable language

  2017cites this paper
• Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code

  2017cites this paper
• EffectiveSan: type and memory error detection using dynamically typed C/C++

  2017cites this paper
• Detecting Strict Aliasing Violations in the Wild

  2017cites this paper
• Introspection for C and its Applications to Library Robustness

  2017cites this paper
• Flexible and efficient memory object metadata

  2017cites this paper
• This paper is included in the Proceedings of the 32nd USENIX Security Symposium

  year unknowncites this paper
• This paper is included in the

  year unknowncites this paper