软件测试:静态分析工具技术支持问题

 　所以没有具体到某个工具，是因为这三个问题是通用的，不论你用的是那一种工具。

　　问题一：如何解决不识别'@'的问题，看下图

QAC中提供了一个宏来解决这个问题，只需要在macro中添加 tiny=_ignore_at 即可忽略掉它。没关系的，因为它本身对静态分析的结果不会有任何影响。

　　请注意看提示信息，wchar_t的类型定义和配置的不一致。
3 看图

　　很显然，这里只是和被测代码相关，不是工具使用的问题。具体到这段代码，需要两个macro定义 TIM1_DIV=1