Lightweight static analyzer for several programming languages
