Bounds checking

Known as: Bounds check, Index checking, Range check 
In computer programming, bounds checking is any method of detecting whether a variable is within some bounds before it is used. It is usually used to… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
This paper presents an analysis for bounds checking of array subscripts that lifts checking assertions to program level under the… (More)
  • figure 2
  • figure 4
  • figure 7
Is this relevant?
2012
2012
Memory errors in C and C++ programs continue to be one of the dominant sources of security problems, accounting for over a third… (More)
  • figure 4
  • figure 5
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Attacks that exploit out-of-bounds errors in C and C++ programs are still prevalent despite many years of research on bounds… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2008
2008
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2007
2007
We analyze the performance of different bounds checking implementations. Specifically, we examine using the x86 bound instruction… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
2007
2007
Whenever an array element is accessed, Java virtual machines execute a compare instruction to ensure that the index value is… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The problem of enforcing correct usage of array and pointer references in C and C++ programs remains unsolved. The approach… (More)
  • figure 2
  • figure 3
Is this relevant?
2004
2004
Interest in using Java for high-performance parallel computing has increased in recent years. One obstacle that has inhibited… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
To guarantee typesafe execution, Java and other strongly typed languages require bounds checking of array accesses. Because array… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper presents a new approach to enforcing array bounds and pointer checking in the C language Check ing is rigorous in the… (More)
Is this relevant?