LibCSS – Static analysis of code.