Memory safety without garbage collection for embedded applications

No abstract is available for this paper.

• Publication year

  2005

• Venue

  TECS

• Publication date

  2005-02-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1053271.1053275
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatic pool allocation: improving performance by controlling data structure layout in the heap

  2005cited by this paper
• Region inference for an object-oriented language

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

  2004influential reference
• Data Structure Analysis: An Ecien t Context-Sensitive Heap Analysis

  2003cited by this paper
• A real-time garbage collector with low overhead and consistent utilization

  2003influential reference
• CCured in the real world

  2003cited by this paper
• CSSV: towards a realistic tool for statically detecting all buffer overflows in C

  2003cited by this paper
• Ownership types for safe region-based memory management in real-time Java

  2003influential reference
• Memory safety without runtime checks or garbage collection

  2003cited by this paper
• A practical flow-sensitive and context-sensitive C and C++ memory leak detector

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

  2002cited by this paper
• Adoption and focus: practical linear types for imperative programming

  2002cited by this paper
• Region-based memory management in cyclone

  2002influential reference
• Maté: a tiny virtual machine for sensor networks

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

  2002cited by this paper
• Enforcing high-level protocols in low-level software

  2001cited by this paper
• Typing a multi-language intermediate code

  2001cited by this paper
• MiBench: A free, commercially representative embedded benchmark suite

  2001cited by this paper
• Using Simplicity to Control Complexity

  2001cited by this paper
• Alias Types for Recursive Data Structures

  2000cited by this paper
• ABCD: eliminating array bounds checks on demand

  2000influential reference
• The Real-Time Specification for Java

  2000cited by this paper
• Java Language Specification, Second Edition: The Java Series

  2000influential reference
• LLVM: AN INFRASTRUCTURE FOR MULTI-STAGE OPTIMIZATION

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

  2000cited by this paper
• System architecture directions for networked sensors

  2000influential reference
• Typed memory management in a calculus of capabilities

  1999cited by this paper
• Memory management with explicit regions

  1998cited by this paper
• Dependable system upgrade

  1998influential reference
• A region inference algorithm

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

  1997influential reference
• Low‐cost, Concurrent Checking of Pointer and Array Accesses in C Programs

  1997cited by this paper
• Region-based Memory Management

  1997cited by this paper
• MediaBench: a tool for evaluating and synthesizing multimedia and communications systems

  1997cited by this paper
• The Java Language Specification

  1996cited by this paper
• Gated SSA-based demand-driven symbolic analysis for parallelizing compilers

  1995cited by this paper
• The Omega Library interface guide

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

  1994cited by this paper
• Efficient software-based fault isolation

  1994cited by this paper
• Chains of recurrences—a method to expedite the evaluation of closed-form functions

  1994cited by this paper
• Optimizing array bound checks using flow analysis

  1993influential reference
• Modula-3 language definition

  1992cited by this paper
• A practical algorithm for exact array dependence analysis

  1992cited by this paper
• Compilers: Principles, Techniques, and Tools

  1986cited by this paper
• Automatic discovery of linear restraints among variables of a program

  1978cited by this paper

• Exception-Driven Security: A Risk-Aware Permission Adjustment for High-Availability Embedded Systems

  2025cites this paper
• CHERIoT: Complete Memory Safety for Embedded Devices

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

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

  2022influential citation
• Mitigating Information Leakage Vulnerabilities with Type-based Data Isolation

  2022cites this paper
• Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage

  2022cites this paper
• DangKiller: Eliminating Dangling Pointers Efficiently via Implicit Identifier

  2020influential citation
• Fast Execute-Only Memory for Embedded Systems

  2020cites this paper
• Capability memory protection for embedded systems

  2020cites this paper
• Memory Error Prevention Through Static Analysis and Type Systems

  2019cites this paper
• BOGO: Buy Spatial Memory Safety, Get Temporal Memory Safety (Almost) Free

  2019cites this paper
• CheriRTOS: A Capability Model for Embedded Devices

  2018cites this paper
• LPAD : Building Secure Enclave Storage using Authenticated Log-Structured Merge Trees

  2018cites this paper
• Type-After-Type: Practical and Complete Type-Safe Memory Reuse

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

  2017influential citation
• Analyzing and securing binaries through static disassembly

  2017cites this paper
• Password-Hashing Status

  2017cites this paper
• Cooperative Memory Management in Safety-Critical Embedded Systems

  2016cites this paper
• LLVM-Based Fortification for Kernel Drivers

  2016cites this paper
• Password Hashing Competition - Survey and Benchmark

  2015cites this paper
• A secure isolation of software activities in tiny scale systems

  2015cites this paper
• StackArmor: Comprehensive Protection From Stack-based Memory Error Vulnerabilities for Binaries

  2015cites this paper
• Lightweight Password Hashing Scheme for Embedded Systems

  2015cites this paper
• Secure virtual architecture: security for commodity software systems

  2014cites this paper
• Towards Memory Access Safety Analysis for Protected Environments

  2014cites this paper
• SAFER SLOTH: Efficient, hardware-tailored memory protection

  2014cites this paper
• Automated Analysis of ARM Binaries Using the Low-Level Virtual Machine Compiler Framework

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

  2012cites this paper
• Architectural support for low overhead detection of memory violations

  2009cites this paper
• Eliminating Software Failures - A Literature Survey

  2009cites this paper
• Writing an OS Kernel in a Strictly and Statically Typed Language

  2009cites this paper
• Data-Flow Analysis for Interrupt-Driven Microcontroller Software

  2008cites this paper
• Dependent types for safe systems software

  2007cites this paper
• Efficient memory safety for TinyOS

  2007cites this paper
• Dependent Types for Low-Level Programming

  2007cites this paper
• Safe manual memory management

  2007cites this paper
• Secure virtual architecture: a safe execution environment for commodity operating systems

  2007cites this paper
• Making context-sensitive points-to analysis with heap cloning practical for the real world

  2007cites this paper
• Backwards-compatible array bounds checking for C with very low overhead

  2006cites this paper
• Static analysis for architecture-implementation conformance in robust embedded systems

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

  2006cites this paper
• Static Analysis to Enforce Safe Value Flow in Embedded Control Systems

  2006cites this paper
• Memory Safety and Untrusted Extensions for TinyOS

  2006cites this paper
• SAFECode: A Platform for Developing Reliable Software in Unsafe Languages

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

  2005influential citation
• Automatic pool allocation: improving performance by controlling data structure layout in the heap

  2005influential citation
• Segment protection for embedded systems using run-time checks

  2005cites this paper
• Macroscopic Data Structure Analysis and Optimization

  2005cites this paper