Page MenuHomeFreeBSD

Static analysis: Fix potential NULL dereference in ICMP6 code
ClosedPublic

Authored by jtl on May 26 2017, 4:54 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Dec 21, 2:43 PM
Unknown Object (File)
Fri, Dec 20, 4:44 PM
Unknown Object (File)
Sat, Nov 30, 12:51 AM
Unknown Object (File)
Fri, Nov 29, 10:13 PM
Unknown Object (File)
Nov 21 2024, 10:52 AM
Unknown Object (File)
Nov 20 2024, 8:38 PM
Unknown Object (File)
Nov 15 2024, 5:24 PM
Unknown Object (File)
Nov 3 2024, 8:18 PM
Subscribers

Details

Summary

I ran clang's static analyzer over the kernel sources. It identified (apparently, correctly) two places in the ICMP6 code where we could dereference a NULL pointer in the icmp6_input() function.

When processing an ICMP6_ECHO_REQUEST, if IP6_EXTHDR_GET fails, it will set nicmp6 and n to NULL. Therefore, we should condition our modification to nicmp6 on n being not NULL.

And, when processing an ICMP6_WRUREQUEST in the (mode != FQDN) case, if m_dup_pkthdr() fails, the code will set n to NULL. However, the very next line dereferences n. Therefore, when m_dup_pkthdr() fails, we should discontinue further processing and follow the same path as when m_gethdr() fails.

Sponsored by: Netflix
MFC after: 2 weeks

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Not Applicable
Unit
Tests Not Applicable