Static analysis by abstract interpretation of embedded critical software