In this version:

• cancelling of started analysis does not work
• downloading of Infer binaries isn't perfect, may not works