Dompter 2 500 avertissements de compilateur avec CodeQL, une étude de cas OpenVPN2
Nous avons créé une requête CodeQL qui a réduit plus de 2 500 avertissements du compilateur concernant les conversions implicites dans OpenVPN2 à seulement 20 cas prioritaires, démontrant ainsi comment identifier efficacement les conversions de type potentiellement dangereuses dans le code C.