Cppcheck

I would like to get a sponsor for Cppcheck development.

New heuristics

Cppcheck has unique data flow analysis to detect bugs and I want to continue working on that to detect more bugs.

I also want to add C/C++ software verification capabilities in Cppcheck. I feel that this is something that is missing currently; a good open source C/C++ software verification tool.

Parser

The C/C++ parser is not perfect and therefore we do not understand all code perfectly. The result right now is sometimes noise and sometimes we fail to detect bugs.

I need to continue development of the Cppcheck parser.

False positives

Avoiding warnings that are wrong is really important for us. There are such warnings reported continuosly and I spend a large part of the total development time fixing those.