If it can't be used for anything but ping, by design, then why not call it a ping socket? "ICMP socket" is clearly a misnomer.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds