Void safety (also known as null safety) is a guarantee within an object-oriented programming language that no object references will have null or void values . In object-oriented languages, access to objects is achieved through references (or, equivalently, pointers).