Automated architectural reviews with Semmle

Abstract

Keeping code at a high level of quality and in sync with the defined architecture is not a trivial matter when you are participating in a competitive market in which you would rather provide solutions today than tomorrow. Code checkers help, but most are too generic to be of real value and so end up being ignored. Customisable code checkers can provide real benefit at reasonable cost. By encoding company specific (or even project specific) rules, actual results become much more relevant. With the additional integration of UML diagrams and specifications into the code checker, it even becomes possible to manage the gap between the actual code and the architecture from day to day at reasonable cost.