LibDOM – Static analysis of code.