BLASS der Zeiger-Assertion-Logikmotor
Jetzt downloaden

BLASS Ranking & Zusammenfassung

BLASS Stichworte

Zeiger Zeigerwechsler Anmerkung Motor Zeiger wechseln Zeiger-Jiggler Jiggle-Zeiger halten Zeiger-Einstellung Zeigerwärter1. Zeiger-Einstellung Zeigerwurf Ring um Zeiger Poiner lokalisieren Zeigerkoordinaten Zeigerabstand Zeigerthema Zeigergeschwindigkeit Zeiger setzen Pointer Locator Passen Sie den Zeiger an Desktop-Zeiger Sicherheits-Assertion-Markup. Design-Assertion-Framework. Design Behauptung Zeigerposition Zeigersymbol Zeigergrößenmesser Zeigermanager Assertion-Bibliothek statischer Zeiger Zeiger-Behauptungslogik. Anmerkung Analysator Assertion CEHCKER. Behauptung

BLASS Beschreibung

Die Poiner-Assertion-Logik ist eine Notation, um Behauptungen über die Haufenstruktur von Imperativsprachen auszudrücken. Es ermöglicht den Programmierern, die Vor- und Nach-Bedingungen von Verfahren, Schleifenvarianten und andere Behauptungen in der schwachen monadischen Logik der zweitbestellenden Grafiktypen angeben - eine Logik, mit der viele gemeinsame Datenstrukturen ausgedrückt werden können. Die Logik ist entschieden, was bedeutet, dass die Behauptungen automatisch überprüft werden können. Die wichtigsten Zielanwendungen sind sicherheitskritische Datentyp-Algorithmen. Pale - Die Poiner Assertion Logic Engine - ist eine vollständige Implementierung der Technik, basierend auf dem Mona-Tool. Es analysiert ein kommentiertes Programm und meldet Nullzeiger-Dereferenz, Speicherlecks und Verstöße gegen Behauptungen und Graphyp-Fehler. Gib blass einen Versuch, seine Fähigkeiten vollständig zu bewerten!

BLASS Zugehörige Software