{"id":1025,"date":"2022-08-30T15:11:08","date_gmt":"2022-08-30T15:11:08","guid":{"rendered":"https:\/\/unknownerror.org\/index.php\/2013\/11\/09\/terminology-to-distinguish-between-languages-that-can-cant-refer-to-undefined-memory-collection-of-common-programming-errors\/"},"modified":"2022-08-30T15:11:08","modified_gmt":"2022-08-30T15:11:08","slug":"terminology-to-distinguish-between-languages-that-can-cant-refer-to-undefined-memory-collection-of-common-programming-errors","status":"publish","type":"post","link":"https:\/\/unknownerror.org\/index.php\/2022\/08\/30\/terminology-to-distinguish-between-languages-that-can-cant-refer-to-undefined-memory-collection-of-common-programming-errors\/","title":{"rendered":"terminology to distinguish between languages that can \/ can&#39;t refer to undefined memory-Collection of common programming errors"},"content":{"rendered":"<p>Pointer Safety.<\/p>\n<p>I apologize for not being able to attribute the original author. I know I&#8217;ve seen Erik Meijer mention and define it though.<\/p>\n<p>Pointer safety (or memory safety) is the attribute of a program, or all programs in a particular language or other constraint, where the program cannot address memory other than that it explictly allocated and owns, or through an intermediary, such as OS.<\/p>\n<p>Type safety is also such an attribute, but is generally stricter &#8212; if something is typesafe, it&#8217;s generally pointer-safe as well. In this attribute, memory is referred to as &#8220;objects&#8221; that have a type, and the program never manipulates that memory except through operations on that type. I&#8217;ll leave the various conflicting definitions of type alone for now, as that can also be a big question.<\/p>\n<p>These attributes apply generally, and can apply to various memory management strategies &#8212; dynamic heap allocations, arena allocators, stacks, and &#8216;static&#8217; or &#8216;global&#8217; storage. It&#8217;s not just about heaps.<\/p>\n<p>Wikipedia on pointer safety and type safety.<\/p>\n<p id=\"rop\"><small>Originally posted 2013-11-09 23:15:17. <\/small><\/p>","protected":false},"excerpt":{"rendered":"<p>Pointer Safety. I apologize for not being able to attribute the original author. I know I&#8217;ve seen Erik Meijer mention and define it though. Pointer safety (or memory safety) is the attribute of a program, or all programs in a particular language or other constraint, where the program cannot address memory other than that it [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1025","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/posts\/1025","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/comments?post=1025"}],"version-history":[{"count":0,"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/posts\/1025\/revisions"}],"wp:attachment":[{"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/media?parent=1025"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/categories?post=1025"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/unknownerror.org\/index.php\/wp-json\/wp\/v2\/tags?post=1025"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}