Void safe veut dire que l'on ne peut pas créer uniquement la référence sur un objet, sans créer l'objet proprement dit. Voici ci-après un white paper sur ce sujet, écrit par le créateur du langage Eiffel et deux personnes de l'équipe en charge de celui-ci à Eiffel Software.
[^] # Re: Conclusion
Posté par Philip Marlowe . En réponse au journal Problème inédit de sécurité. Évalué à 2.
http://docs.eiffel.com/sites/docs.eiffel.com/files/void-safe(...)