标签： clang frama-c
我正在使用静态分析器来处理C代码，据我所知， frama-c 将Clang用于其AST树 假设您的代码中有一些系统函数调用，如 strcpy 或 strcmp
在这种情况下，可以预测（在没有代码执行和跟踪内存访问的静态模式下）每个传递的函数参数的变量访问（读/写）是什么？例如， strcmp 和 strcpy 函数都接受字符串作为其输入参数，但只有 strcpy 函数更改并修改了第一个参数
或者即使您知道一些可以帮助我进行此类静态分析的其他软件或工具，请告诉我们