Wind River VxWorks has a Buffer Overflow in the TCP component (issue 1 of 4). This is a IPNET security vulnerability: TCP Urgent Pointer = 0 that leads to an integer underflow.
File data ot_500065.nasl
cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2019-12255
packetstormsecurity.com/files/154022/VxWorks-6.8-Integer-Underflow.html
cert-portal.siemens.com/productcert/pdf/ssa-189842.pdf
cert-portal.siemens.com/productcert/pdf/ssa-632562.pdf
psirt.global.sonicwall.com/vuln-detail/SNWLID-2019-0009
security.netapp.com/advisory/ntap-20190802-0001/
support.f5.com/csp/article/K41190253
support.f5.com/csp/article/K41190253?utm_source=f5support&utm_medium=RSS
support2.windriver.com/index.php?page=cve&on=view&id=CVE-2019-12255
support2.windriver.com/index.php?page=security-notices
www.windriver.com/security/announcements/tcp-ip-network-stack-ipnet-urgent11/