The coding errors represented by our phyla can all be detected by
static source code analysis tools. Source code analysis offers
developers an opportunity to get quick feedback about the code
that they write. We see great potential for educating developers