Memory safety

Known as: Memory safe, Memory safety in C 
Memory safety is a concern in software development that aims to avoid software bugs that cause security vulnerabilities dealing with random-access… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1996-2018
010203019962018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
SLAyer is a program analysis tool designed to automatically prove memory safety of industrial systems code. In this paper we… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking are well known, yet C and C++ remain… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
2009
2009
C is the most widely used imperative system’s implementation language. While C provides types and high-level abstractions, its… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Reliable sensor network software is difficult to create: applications are concurrent and distributed, hardware-based memory… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Transactional memory offers significant advantages for concurrency control compared to locks. This paper presents the design and… (More)
  • figure 4
  • figure 3
  • figure 5
  • figure 7
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • table 1
Is this relevant?
2005
2005
Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Memory-related errors, such as buffer overflows and dangling pointers, remain one of the principal reasons for failures of C… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Traditional approaches to enforcing memory safety of programs rely heavily on runtime checks of memory accesses and on garbage… (More)
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?