PÁLIDO El motor lógico de aserción puntero
Descargar ahora

PÁLIDO Clasificación y resumen

PÁLIDO Etiquetas

Puntero Cambiador de puntero anotación motor Puntero de cambio Jiggler de puntero Giggle puntero mantener el ajuste del puntero Pointer Keeper1 Configuración de puntero fundidor Anillo alrededor del puntero localizar el puntero coordenadas de puntero distancia de puntero Tema puntero velocidad del puntero establecer puntero Localizador de punteros Personalizar puntero puntero de escritorio Marcando de aseveración de seguridad Marco de afirmación de diseño afirmación de diseño posición de puntero Icono de puntero Medidor de puntero gerente de puntero biblioteca de afirmación puntero estático Lógica de aserción de puntero Analizador de anotación Aserción de CEHCKKER afirmación

PÁLIDO Descripción

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. 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 principales aplicaciones de destino son algoritmos de tipo de datos críticos de seguridad. Pale - El motor lógico de aserción puntero: es una implementación completa de la técnica, basada en la herramienta MONA. Analiza un programa anotado e informa las terferencias de puntero nulo, las fugas de la memoria y las violaciones de las afirmaciones y los errores de tipo de gráfico. ¡Pale una oportunidad de evaluar completamente sus capacidades!

PÁLIDO Software relacionado