En lenguaje ensamblador normalmente no tenemos que preocuparnos demasiado por la distinción entre punteros y números enteros. Algunas instrucciones generan direcciones mientras que otras se comportan aritméticamente, pero debajo hay un único tipo de datos: bitvectors. En cambio, los lenguajes de alto nivel no ofrecen oportunidades para confundir punteros y enteros ya que las abstracciones separan por completo el uno del otro. Además, un lenguaje de alto nivel puede elegir no exponer nada relacionado con punteros.

A raíz de la publicación de la noticia del lanzamiento del Kernel 4.12 de Linux, el cual trae por primera vez activada por defecto la característica KASLR, y casi simultáneamente la publicación de otra noticia sobre la implementación de una característica llamada KARL en OpenBSD, me ha parecido que sería interesante aclarar las diferencias entre estas técnicas de seguridad, pues pienso que la combinación de ambas va a ser muy importante de cara al futuro de la seguridad de los sistemas, pues van a impedir explotar vulnerabilidades relacionadas con la corrupción de memoria (buffer overflow). Pero antes de entrar a detallar las características de KASLR y KARL, echemos un vistazo ASLR.