PALE Open source Pointer Assertion Logic engine
Download

PALE Ranking & Summary

PALE Tags

pal engine PAL engine language assertion assertion engine assertion

PALE Description

Open source Pointer Assertion Logic engine Pointer Assertion Logic is a notation for expressing assertions about the heap structure of imperative languages. Pointer Assertion Logic allows programmers to specify pre- and post-conditions of procedures, loop invariants, and other assertions in Weak Monadic Second-order Logic of Graph Types - a logic that allows many common data structures to be expressed. The logic is decidable, meaning that the assertions can be verified automatically. The main target applications are safety critical data type algorithms.PALE (Pointer Assertion Logic Engine) is an open source and complete implementation of the technique, based on the MONA tool.PALE analyses an annotated program and reports null-pointer dereferences, memory leaks, and violations of assertions and graph type errors. How to install and run: Unarchive, open a Terminal window, go to the PALE's folder and run the following commands from the command line:makesudo make installpalepalemona Requirements: · Apple Xcode

PALE Related Software