Static Analysis

George Swartzendruber is currently researching static analysis of source code. This analysis will then be used to help determine what source code is relevant to a given software feature in order to aid in bug fixing. The first part of this is figuring out what tools are available for static analysis and then determining whether they fit the needs of the lab or if a new tool will need to be built.