Huawei will search for defects in the program code using a static analyzer

The static analyzer will automatically validate the program code and find hidden

defects in it.As a result, the quality of the written code will increase. The developers claim that the new solution will be more effective than existing analyzers. In addition, the product will be open source, which means it can be used to check program texts in other companies.

In addition to Huawei, the list of new residents andpartners included 15 companies, including Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark and others.

Another partner of the SEZ is the KUKA concern, one ofthe world's leading manufacturers of robotics, industrial and systems equipment - together with Innopolis University will open a competence center for enterprises interested in modernizing production processes. An industrial robot with installed software is supposed to be developed in accordance with customer requirements.

And the company "Ozone Technologies" presented a projecton robotization and automation of logistics of the OZON marketplace. The project concerns the robotization of logistics centers and the development of robotic systems for efficient storage, processing and delivery of orders. We are designing our own software and hardware platform.

To read Further

Scientists have been unable to catch Rambo's fox for three years. It prevents rare animals from being released into the forest.

Invisible planes can no longer hide: China creates a quantum radar to find them

Scientists told who is more likely to get coronavirus in the next wave