PALLIDO Motore logico di asserzione del puntatore open source
Scarica ora

PALLIDO Classifica e riepilogo

PALLIDO Tag

amico motore motore PAL Asserzione linguistica Motore di asserzione asserzione

PALLIDO Descrizione

Motore logico di asserzione del puntatore open source La logica di asserzione del puntatore è una notazione per esprimere affermazioni sulla struttura dell'heap delle lingue imperative. La logica dell'assertion del puntatore consente ai programmatori di specificare le condizioni pre-e post-condizioni di procedure, invarianti a ciclo e altre asserzioni nella logica monadica debole logica dei tipi di grafici - una logica che consente di esprimere molte strutture di dati comuni. La logica è decidabile, il che significa che le asserzioni possono essere verificate automaticamente. Le principali applicazioni di destinazione sono algoritmi di dati critici di sicurezza Algorithms.Pale (Pointer Assertion Logic Engine) è una open source e l'implementazione completa della tecnica, basata su MONA TOOL.PALE Analizza un programma annotato e segnala derreferenze NULL-POINTER, perdite di memoria, perdite di memoria, perdite di memoria, e violazioni di affermazioni e errori di tipo grafico. Come installare ed eseguire: Unarchive, aprire una finestra di terminale, andare alla cartella Pale e eseguire i seguenti comandi dalla riga di comando: Makeudo crea i requisiti di installazionePalepalemona: · Apple Xcode.

PALLIDO Software correlato