BLEEK Open Source Pointer Assertion Logic Engine
Download nu

BLEEK Rangschikking & Samenvatting

BLEEK Tags

vriend motor Pal taal bewering beweringmotor bewering

BLEEK Beschrijving

Open Source Pointer Assertion Logic Engine Pointer Assertion Logic is een notatie voor het uiten van beweringen over de hoopstructuur van imperatieve talen. Pointer Assertion Logic stelt programmeurs in staat om pre- en postvoorwaarden van procedures, lusvarianten en andere beweringen in zwak monadische tweede-orde logica van grafische typen te specificeren - een logica waarmee veel gemeenschappelijke gegevensstructuren kunnen worden uitgedrukt. De logica is eenduidig, wat betekent dat de beweringen automatisch kunnen worden geverifieerd. De belangrijkste taptoepassingen zijn veiligheidskritieke gegevenstype Algorithms.pale (Pointer Assertion Logic Engine) is een open source en volledige implementatie van de techniek, op basis van de MONA-tool.Pale analyseert een geannoteerd programma en rapporten null-aanwijzer derferenties, geheugenlekken, en schendingen van beweringen en fouten van het grafische type. Hoe te installeren en uit te voeren: Unarchive, open een terminalvenster, ga naar de map van de bleke en voer de volgende opdrachten uit vanaf de opdrachtregel: MSODO MAKE INSTALLPALEPALONA-vereisten: · Apple Xcode

BLEEK Gerelateerde software