Применение статического анализа кода в преподавании и в разработке свободного ПО (Георгий Грибков, OSEDUCONF-2020)