frama-c 问答列表

在 Frama-C 中处理动态分配

作者:Filip Nikšić 提问时间:10/16/2014

我正在尝试使用 Frama-C 来验证包含动态内存分配的 C 代码的安全属性。当前版本的 ACSL 规范语言 (1.8) 似乎能够表达很多关于动态分配内存的信息。然而,其中大部分还没有在Frama-C...


共1条 当前第1页