Skip to content
Taming 2,500 compiler warnings with CodeQL, an OpenVPN2 case study
blog.trailofbits.com | blog | #c | #openvpn | #static-analysis | #codeql | #compiler-warnings | #implicit-conversion
Summary
A CodeQL query cut 2,500+ implicit-conversion warnings in OpenVPN2 to just 20 high-priority cases, showing how range analysis and dataflow modeling surface dangerous type conversions in C.
- Published
- Collected