Interactive Code Analysis
Static code analyzers have become indispensable especially for safety critical software development. But, they do have a few drawbacks as well. For starters, and for good reason, the commercial tools can be quite slow, and they are certainly not suitable for interactive use. I’ll describe a new tool called Cobra, that I’m currently developing, which can resolve types of queries interactively, even on very large code bases. Queries can be scripted or predefined in libraries. The tool is designed to be easy to use, and is freely available.