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