Hi everyone, if I understand correctly, cppcheck's analyses are mostly local. Still, how complete is cppcheck's parsing and how important are the headers to it? I'm wondering if there are cases in which cppcheck either produces false positives or misses an issue particularly due to C's ambiguous syntax and absent type/var declarations. I'm working on a type inference for C and I'm currently investigating how useful could it be when combined to static analysis tools such as cppcheck. (1) Suppose a...
Git code migration