cil从vid获取varinfo

Question

在使用旧版本的Frama-c程序时，我有一些问题。它使用函数varinfo_from_vid ()来获取varinfo。在更改日志中，我看到它已被删除，可以使用由varinfo索引的映射或哈希表来获取它。我不是很理解，因为我是个新手。这是否意味着我需要自己保存一个(vid，varinfo)哈希表，并将其传递给每个使用过variunfo_from_vid()的函数？或者有其他方法可以做到这一点。如果有人有例子或建议，我将不胜感激。谢谢

Answer 1

应该将插件转换为直接保存varinfo，而不是表示varinfo的vid字段的int。没有很好的理由只存储vid字段，这在Frama-C的内部，特别是项目中不能很好地发挥作用。

如果插件包含由int (IntHash.t或Datatype.Int.Hashtbl.t)索引的表，其中键实际上是vid，则还应该将它们替换为由varinfo (Cil_datatype.Varinfo.Hashtbl.t)索引的表。关于Frama-C中数据类型的更多信息可以在Frama-C developer manual的4.9.2小节中找到。