RSS トレイル・オブ・ビッツ ブログ フォロー CodeQLで2,500件のコンパイラ警告を解消：OpenVPN2の事例研究 OpenVPN2の暗黙的な型変換に関する2,500件以上のコンパイラ警告を、わずか20件の優先度の高いケースにまで削減するCodeQLクエリを作成しました。これにより、Cコードにおける潜在的に危険な型変換を効果的に特定する方法を示しました。 Taming 2,500 compiler warnings with CodeQL, an OpenVPN2 case study blog.trailofbits.com
