Otra forma de verificar programas

La idea general es la siguiente:

Se trata de ver, para cada función de salida, qué rango de argumentos le llegan, dependiendo del tipo, por ejemplo:

* Salida de frases, utilizando el álgebra de expresiones regulares, comprobar qué expresión regular se puede mostrar en el peor de las rutas de un grafo desde que se lee la entrada hasta esta salida. Esta expresión regular se ve afectada por comparaciones en bifurcaciones o manipulaciones de la frase.
* Uso de enteros, comprobar que el rango inicial [-inf,inf] se quede en [-inf,0)(0,inf] en una división..
* Uso de punteros, cuyos estados son: null, reservado, escrito, liberado.


NOTA: Cualquier implementación de esta idea debe ser realizada en código libre.


Copyleft Ender. El presente artículo no tiene finalidad informativa, de creación de opinión pública o de entretenimiento. Tiene como finalidad principal, la enseñanza y la divulgación de experiencias, proyectos, pensamientos y conocimientos del autor. Se permite la copia textual, la traducción y la distribución de este artículo entero en cualquier medio, a condición de que este aviso sea conservado. Se permite la cita. El autor no reclamará ninguna cantidad por el ejercicio de las dos autorizaciones anteriores. No autorizo a ninguna Entidad de Derechos de Autor a reclamar cantidad alguna en mi nombre por el ejercicio de los dos derechos anteriores.