La verificación de código también asegura que los patrones de bits arbitrarios no pueden usarse como direcciones.