PALLIDO Il motore della logica di asserzione del puntatore
Scarica ora

PALLIDO Classifica e riepilogo

PALLIDO Tag

pointer Changer del puntatore annotazione motore Cambia il puntatore Puntatore Jiggler Puntatore di Jiggle. mantenere l'impostazione pointer Pointer Keeper1. Impostazione del puntatore Cast del puntatore anello intorno puntatore individuare puntatore Coordinate del puntatore. distanza puntatore Tema del puntatore Velocità del puntatore impostare il puntatore Pointer Locator puntatore Personalizza Puntatore desktop Markup di asserzione della sicurezza Quadro di asserzione del design. Asserzione di progettazione posizione del puntatore Pointer Icona Misuratore di puntatori puntatore direttore Biblioteca di asserzione puntatore statico Logica dell'asserzione del puntatore Annotation Analyzer. Asserzione Cehcker. asserzione

PALLIDO Descrizione

La logica di asserzione del puntatore è una notazione per esprimere affermazioni sulla struttura dell'heap delle lingue imperative. Permette ai programmatori di specificare le condizioni pre-e post-condizioni di procedure, invarianti ad anello e altre asserzioni nella logica monadica monadica debola 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 tipo di dati critici di sicurezza. Pale - il motore della logica di asserzione del puntatore - è una completa implementazione della tecnica, basata sullo strumento MONA. Analizza un programma annotato e segnala derreferenze NULL-POINTER, perdite di memoria e violazioni delle asserzioni e errori di tipo grafico. Dare pallido, prova a valutare pienamente le sue capacità!

PALLIDO Software correlato