cinspector - a static C source code analysis framework