Can Klocwork (or other tools) be aware of types, typedefs and #define directives?
问题 I have been looking for tools to help detect errors that prevent a program from running properly as 64-bit code. Most recently, I've been toying with Klocwork and its custom checkers feature, which lets me navigate the source code as a tree using XPath. This is useful as a "smarter" alternative to regular expressions, but I have not been able to make it aware of types. For example, let's say I'd like to find every instance of a for loop that uses either an int or a long to count. The