PÁLIDO Motor lógico de aserción de puntero de código abierto
Descargar ahora

PÁLIDO Clasificación y resumen

PÁLIDO Etiquetas

camarada motor Motor PAL aserción de idiomas motor de afirmación afirmación

PÁLIDO Descripción

Motor de lógica de aserción de puntero de código abierto La lógica de la afirmación del puntero es una notación para expresar aseveraciones sobre la estructura del montón de idiomas imperativos. La lógica de afirmación de puntero permite a los programadores especificar las condiciones previas y posteriores de los procedimientos, las invariantes de bucle y otras afirmaciones en la lógica de segundo orden monádica débil de los tipos de gráficos: una lógica que permite expresar muchas estructuras de datos comunes. La lógica es decidible, lo que significa que las afirmaciones se pueden verificar automáticamente. Las aplicaciones de destino principales son la seguridad del tipo de datos crítico algorithms.pale (motor de lógica de aserción de puntero) es una fuente abierta y la implementación completa de la técnica, basada en la herramienta MONA.PALE analiza un programa anotado e informa las terferencias de puntero nulo, las fugas de la memoria, y violaciones de aseveraciones y errores de tipo de gráfico. Cómo instalar y ejecutar: no solicitante, abra una ventana de terminal, vaya a la carpeta de Pale y ejecute los siguientes comandos desde la línea de comandos: Makeudo haga que los requisitos de instalaciónPalepalemona: · Apple Xcode

PÁLIDO Software relacionado