Altran picoTCP through 1.7.0 allows memory corruption (and subsequent denial of service) because of an integer overflow in picoipv6alloc when processing large ICMPv6 packets. This affects installations with Ethernet support in which a packet size greater than 65495 may occur.