AdLint - source code static analyzer