Приручение 2500 предупреждений компилятора с помощью CodeQL: исследование на примере OpenVPN2

Мы создали запрос CodeQL, который сократил более 2500 предупреждений компилятора о неявных преобразованиях в OpenVPN2 до всего лишь 20 случаев высокого приоритета, демонстрируя, как эффективно выявлять потенциально опасные преобразования типов в коде C.