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)
Mar 17 2024, 12:47 AM
Unknown Object (File)
Dec 20 2023, 4:02 AM
Unknown Object (File)
Nov 23 2023, 11:09 AM
Unknown Object (File)
Oct 20 2023, 7:31 AM
Unknown Object (File)
Oct 19 2023, 9:53 AM
Unknown Object (File)
Oct 16 2023, 7:39 AM
Unknown Object (File)
Oct 13 2023, 3:56 PM
Unknown Object (File)
Oct 12 2023, 8:37 AM
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