Huawei будет искать дефекты программного кода с помощью статического анализатора

Huawei представила проект своей разработки, которая будет проверять качество кода в ОС компании.

Статический анализатор будет автоматически проводить валидацию программного кода и находить скрытые дефекты в нем. В результате качество написанного кода будет повышаться. Разработчики утверждают, что новое решение будет эффективнее существующих анализаторов. Кроме того, продукт будет с открытым кодом, значит его смогут использовать и для проверки текстов программ в других компаниях.