堆栈分析工具

时间:2011-01-15 14:48:50

标签: stack

我在汽车领域工作,我的公司倾向于购买堆栈分析工具(计算给定源代码或二进制文件的最大堆栈的工具)。我们正在使用8位到32位的不同目标,之前我们使用的是自制工具,我们目前正在评估来自Absint的堆栈分析器, 任何其他工具建议都会有所帮助。

1 个答案:

答案 0 :(得分:1)

如果您对通过在源级别进行分析可以做出的近似类型感到满意,并且您正在使用C,那么Frama-C's value analysis可以为您提供详尽的调用堆栈列表(就源函数)可以在运行时发生。

如果您准确了解C编译器的工作方式,Frama-C还提供构建块以快速将这些源级可能的调用堆栈转换为堆栈深度:对于每个函数,您可以以编程方式检查局部变量,参数,...