Static analyzer for abstract interpretation