TAdviser

В середине апреля 2020 года Microsoft сообщила о разработке системы, которая, как заявляют в компании, точно выявляет критические, высокоприоритетные ошибки безопасности в 97% случаев и находит ошибки в остальном ПО в 99% случаев. Софтверный гигант выложил исходники этого инструмента на GitHub вместе с примерами моделей и другими ресурсами.

http://www.tadviser.ru/a/519125