Cobra: an Extendable Tool for Interactive Code Analysis

Source code analysis typically requires the use of expensive and difficult-to-configure tools that support only a predefined set of standard checks. In some cases, it is possible to add customized checks, but doing so can be laborious and requires a deep understanding of each tool’s internal data structures, which means that it is rarely done.