EQL

EQL (Lens of Equality) - это программный инструмент, разработанный Microsoft Research для автоматического обнаружения и исправления ошибок равенства в компьютерных программах. Инструмент использует комбинацию статического анализа, динамического анализа и методов машинного обучения для обнаружения и исправления ошибок равенства в программах на C # и F #. Было показано, что EQL эффективен в обнаружении и исправлении широкого спектра ошибок равенства, включая ошибки, связанные с проверками нулевых указателей, проверкой границ массивов и безопасностью типов. Инструмент предназначен для работы как с отладочными, так и с релизными сборками программы, и его можно использовать для анализа как отдельных проектов, так и целых файлов решений. EQL доступен в виде расширения Visual Studio и может быть использован бесплатно как для академических, так и для коммерческих целей.