Live briefing
Everything about Bounded pointer
In computer science, a bounded pointer is a pointer that is augmented with additional information that enable the storage bounds within which it may point to be deduced. This additional information sometimes takes the form of two pointers holding the upper and lower addresses of the storage occupied by the object to which the bounded pointer points. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Bounded pointerA 5-minute orientation
- Pick up a classic book: Pride and PrejudiceThe most-reprinted book on the subject
- Read the landmark paper: Complete decision procedure for the theory of bounded pointer arithmetic based on quantifier instantiation and SMTCited 1 times
- Go sideways: Memory safetyA closely related topic
- Go sideways: Bounds checkingA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
📚 Books worth reading
Pride and PrejudiceJane Austen · 1813
The Canterbury TalesGeoffrey Chaucer, John E. Cunningham · 1478
Data structures and algorithm analysis in CMark Allen Weiss · 1993
Jungle birdsAnita Ganeri · 1993
SPARC Architecture, Assembly Language Programming, and CRichard P. Paul · 1994
Into the Realm of OberonEric W. Nikitin · 1997
Recent Trends in Algebraic Development TechniquesNarciso Martí-Oliet · 2013
Data structures using C++D. S. Malik · 2010
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Memory safety Memory safety is the state of being protected from various software bugs and security vulnerabilities when dealing with memory access, such as buffer overflows…
- Bounds checking 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 ensure…
- Segmentation fault In computing, a segmentation fault (often shortened to segfault) or access violation is a failure condition raised by hardware with memory protection,…
- Cyclone (programming language) The Cyclone programming language was intended to be a safe dialect of the C language. It avoids buffer overflows and other vulnerabilities that are possible…
- C (programming language) C is a general-purpose programming language created in 1972 by Dennis Ritchie. By design, C gives programmers relatively direct access to the features…
- Undefined behavior A computer program exhibits undefined behavior (UB) when it contains, or is executing code for which its programming language specification does not mandate…
- Comparison of Java and C++ Java and C++ are two prominent object-oriented programming languages. By many language popularity metrics, the two languages have dominated object-oriented…
- Code sanitizer A code sanitizer is a programming tool that detects bugs in the form of undefined or suspicious behavior by a compiler inserting instrumentation code at…