PALE 1.0-9下载地址

指针的断言逻辑引擎

指针声明的逻辑是断言堆结构的命令式语言来表达的符号。它允许程序员指定前和后的程序，条件，循环不变量，和其他断言，弱的一元二阶逻辑的图形类型 - 逻辑，它允许许多常见的数据结构来表达。该逻辑是可判定的神器出山:www.shenqi73.com，这意味着，可以自动进行验证断言。主要的目标应用是安全的关键数据类型的算法。

PALE - “指针”的断言逻辑引擎 - 是一个完整的实施该技术的基础上的 MONA 工具。分析注释的程序，并报告空指针引用，内存泄漏和侵犯的断言和图形类型的错误。

得到浅一试，以便充分评估其能力！