Reparación automática de código basada en especificaciones inferidas

Las técnicas para la reparación automática de código tienen el potencial de ayudar enormemente en el desarrollo de código seguro y correcto. Actualmente hay algunas dificultades importantes que enfrentan el desarrollo y la implementación de herramientas para la reparación automática; examinamos estas y exploramos brevemente posibles soluciones. Para dar una idea de cómo podría ser la reparación automática, discutimos en detalle tres tipos de reparación automática propuesta: (1) reparar comparaciones de desigualdad que involucran desbordamiento de enteros para que se comporten de la misma manera que si se utilizaran enteros de ancho de bits ilimitado, (2) insertar comprobaciones de límites de memoria donde sea necesario, utilizando análisis dinámico para inferir los límites correctos más ajustados, (3) insertar comprobaciones de autorización faltantes en una aplicación cliente-servidor en función de una política de control de acceso inferida.