Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Bounds checking
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== External links == * β[https://web.archive.org/web/20160623195112/http://www.feustel.us/Feustel%20%26%20Associates/Advantages.pdf On The Advantages Of Tagged Architecture]β, IEEE Transactions On Computers, Volume C-22, Number 7, July, 1973. * β[http://zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf The Emperorβs Old Clothes] {{Webarchive|url=https://web.archive.org/web/20171002195604/http://zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf |date=2017-10-02 }}β, The 1980 ACM Turing Award Lecture, CACM volume 24 number 2, February 1981, pp 75β83. * β[https://www.doc.ic.ac.uk/~afd/rarepapers/KendallBccRuntimeCheckingsforC.pdf Bcc: Runtime checking for C programs]β, Samuel C. Kendall, Proceedings of the [[USENIX]] Summer 1983 Conference. * β[https://web.archive.org/web/20160326081542/https://www.doc.ic.ac.uk/~phjk/BoundsChecking.html Bounds Checking for C]β, Richard Jones and Paul Kelly, Imperial College, July 1995. * β[https://web.archive.org/web/20130124070111/http://public.support.unisys.com/aseries/docs/clearpath-mcp-11.0/pdf/38347639-000.pdf ClearPath Enterprise Servers MCP Security Overview]β, Unisys, April 2006. * β[http://llvm.org/pubs/2007-SOSP-SVA.pdf Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems]β, John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram Adve, SOSP'07 21st ACM Symposium on Operating Systems Principles, 2007. * β[https://web.archive.org/web/20160707163127/https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html Fail-Safe C]β, Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on Programing Language Design and Implementations (PLDI2009), June 2009. * β[https://github.com/google/sanitizers/wiki/AddressSanitizer address-sanitizer]β, Timur Iskhodzhanov, Alexander Potapenko, Alexey Samsonov, Kostya Serebryany, Evgeniy Stepanov, Dmitriy Vyukov, LLVM Dev Meeting, November 18, 2011. * [http://sourceforge.net/projects/safeclib/ Safe C Library of Bounded APIs] * {{cite journal|date=February 20, 2009|title=The Safe C Library|journal=[[Dr. Dobb's Journal]]|url=http://www.drdobbs.com/cpp/the-safe-c-library/214502214|access-date=November 13, 2012|archive-url=https://web.archive.org/web/20131202222313/http://www.drdobbs.com/cpp/the-safe-c-library/214502214|archive-date=December 2, 2013|url-status=dead}} * [https://web.archive.org/web/20131203031224/http://www.owasp.org.cn/OWASP_Conference/2011/17_.pdf Safe C APIβConcise solution of buffer overflow, The OWASP Foundation, OWASP AppSec, Beijing 2011 ] * [https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_macros.html The GNU C++ Library Manual Macros] * [https://libcxx.llvm.org/docs/DesignDocs/DebugMode.html libc++ 11.0 documentation Debug Mode] {{DEFAULTSORT:Bounds Checking}} [[Category:Computer errors]] [[Category:Arrays]]
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)