3. A Multilayered System We use several layers for bug hunting and source code quality control. The first is an IDE plug-in to help developers in the code-writing stage—for example, a static ...