Lightweight static analyzer for several programming languages - flatt-security/shisho