About: Bounds checking

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Technique in computer science where variables are ensured to be within bounds before use

Property	Value
dbo:description	Methode in der Informatik um sicherzustellen das eine Variable innerhalb bestimmter Grenzen ist, bevor sie genutzt wird (de) 割り当てられた領域の境界を超えた書き込みや読み取りを防止する技術 (ja) technique in computer science where variables are ensured to be within bounds before use (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20171002195604/http:/zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf http://llvm.org/pubs/2007-SOSP-SVA.pdf http://zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf https://libcxx.llvm.org/docs/DesignDocs/DebugMode.html https://github.com/google/sanitizers/wiki/AddressSanitizer https://www.doc.ic.ac.uk/~afd/rarepapers/KendallBccRuntimeCheckingsforC.pdf https://gcc.gnu.org/onlinedocs/libstdc++/manual/using_macros.html http://www.drdobbs.com/cpp/the-safe-c-library/214502214%7Caccess-date=November https://web.archive.org/web/20130124070111/http:/public.support.unisys.com/aseries/docs/clearpath-mcp-11.0/pdf/38347639-000.pdf https://web.archive.org/web/20131202222313/http:/www.drdobbs.com/cpp/the-safe-c-library/214502214%7Carchive-date=December https://web.archive.org/web/20131203031224/http:/www.owasp.org.cn/OWASP_Conference/2011/17_.pdf https://web.archive.org/web/20160326081542/https:/www.doc.ic.ac.uk/~phjk/BoundsChecking.html https://web.archive.org/web/20160623195112/http:/www.feustel.us/Feustel%20%26%20Associates/Advantages.pdf https://web.archive.org/web/20160707163127/https:/staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html http://sourceforge.net/projects/safeclib/
dbo:wikiPageWikiLink	dbr:Visual_Basic dbr:C++ dbr:C_Sharp_(programming_language) dbr:Standard_Template_Library dbr:Off-by-one_error dbr:D_(programming_language) dbr:Skylake_(microarchitecture) dbc:Computer_errors dbr:JavaScript dbr:Java_(programming_language) dbr:PHP dbr:High-level_programming_language dbr:OCaml dbr:Static_program_analysis dbr:ICL_2900_Series dbr:ALGOL_60 dbr:Motorola_68000 dbr:Programming_language dbr:Burroughs_Corporation dbr:Rust_(programming_language) dbr:VAX dbr:Dr._Dobb's_Journal dbr:C_(programming_language) dbr:Pascal_(programming_language) dbr:Lisp_(programming_language) dbr:Turing_Award dbr:BASIC dbr:Ada_(programming_language) dbr:Ruby_(programming_language) dbr:Exception_handling dbr:Nominal_type_system dbr:Bounds-checking_elimination dbc:Arrays dbr:USENIX dbr:Runtime_error_detection dbr:Upper_and_lower_bounds dbr:Buffer_overflow dbr:Computer_programming dbr:Python_(programming_language) dbr:Intel_MPX dbr:ALGOL_68 dbr:CPU dbr:C._A._R._Hoare dbr:Haskell_(programming_language) dbr:Array_data_structure dbr:JS++ dbr:Arithmetic_overflow dbr:Compiler_optimization dbr:Dynamic_code_analysis dbr:Existent_types dbr:Expression_(programming) dbr:Type_checking dbr:Variable_(programming)
dbp:date	2017-10-02 (xsd:date)
dbp:url	https://web.archive.org/web/20171002195604/http:/zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf
dbp:wikiPageUsesTemplate	dbt:Clarify_span dbt:Reflist dbt:Cite_journal dbt:More_footnotes dbt:Webarchive dbt:How dbt:Short_description
dct:subject	dbc:Computer_errors dbc:Arrays
rdfs:label	Bounds checking (en) Controllo dei limiti (it) 경계 검사 (ko) Sprawdzanie zakresu (pl) 边界检查 (zh)
owl:sameAs	freebase:Bounds checking yago-res:Bounds checking wikidata:Bounds checking dbpedia-it:Bounds checking dbpedia-zh:Bounds checking dbpedia-pl:Bounds checking dbpedia-ko:Bounds checking dbpedia-global:Bounds checking
prov:wasDerivedFrom	wikipedia-en:Bounds_checking?oldid=1275899253&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Bounds_checking
is dbo:wikiPageRedirects of	dbr:Bounds_check dbr:Range_check dbr:Array_bounds_checking dbr:Index_checking
is dbo:wikiPageWikiLink of	dbr:C_Sharp_(programming_language) dbr:Array_(data_type) dbr:C_standard_library dbr:D_(programming_language) dbr:Insertion_sort dbr:Pointer_(computer_programming) dbr:Type_system dbr:C11_(C_standard_revision) dbr:Make_Compatible dbr:Data_quality dbr:Extended_static_checking dbr:Burroughs_MCP dbr:Optimizing_compiler dbr:Bounded_pointer dbr:Security_of_the_Java_software_platform dbr:C_(programming_language) dbr:Cyclone_(programming_language) dbr:Memory_safety dbr:Bounds_check dbr:Comparison_of_Java_and_C++ dbr:Smart_pointer dbr:Bounds-checking_elimination dbr:Storage_violation dbr:Return-oriented_programming dbr:String_(computer_science) dbr:Cppcheck dbr:Glossary_of_computer_science dbr:Runtime_library dbr:Elephant_in_Cairo dbr:Heartbleed dbr:Buffer_overflow dbr:Software_bug dbr:C_syntax dbr:Out-of-band dbr:Comparison_of_programming_languages_(array) dbr:Comparison_of_Pascal_and_C dbr:Buffer_overflow_protection dbr:ESC/Java dbr:Language-based_security dbr:Out_of_bounds_(disambiguation) dbr:Buffer_over-read dbr:Runtime_(program_lifecycle_phase) dbr:JS++ dbr:Range_check dbr:Array_bounds_checking dbr:Index_checking
is foaf:primaryTopic of	wikipedia-en:Bounds_checking