BLEEK De LOGIC-motor van de Pointer Assertion
Download nu

BLEEK Rangschikking & Samenvatting

BLEEK Tags

Wijzer Wijzerwisselaar annotatie motor Wijzer wijzigen Wijzer Jiggler Jiggle-aanwijzer houden pointer instelling pointer keeper1 pointer instelling pointer cast ring rond aanwijzer lokaliseren pointer pointer coördinaten pointer afstand Pointer Theme wijzer snelheid wijzer instellen Pointer locator aanpassen aanwijzer desktop-aanwijzer beveiligingsbeweringmarkering Design Assertion Framework ontwerpprogramma wijzerpositie Wijzerpictogram Aanwijzergrootte pointer manager beweringbibliotheek statische wijzer Pointer Assertion Logic annotatie analyzer bewering cehcker bewering

BLEEK Beschrijving

Pointer Assertion Logic is een notatie voor het uiten van beweringen over de hoopstructuur van imperatieve talen. Hiermee kunnen programmeurs pre- en post-voorwaarden van procedures, lusvarianten en andere beweringen in een zwakke monadische tweede-orde logica van grafische typen - een logica waarmee veel gemeenschappelijke gegevensstructuren kunnen worden uitgedrukt. De logica is eenduidig, wat betekent dat de beweringen automatisch kunnen worden geverifieerd. De belangrijkste doeltoepassingen zijn veiligheidskritieke gegevenstypealgoritmen. Pale - de aanwijzer Assertion Logic Engine - is een volledige implementatie van de techniek, op basis van de MONA-tool. Het analyseert een geannoteerd programma en rapporten null-pointer derferences, geheugenlekken en schendingen van fouten van beweringen en grafiektype. Geef bleek een kans om zijn capaciteiten volledig te beoordelen!

BLEEK Gerelateerde software