The Halting Problems of Network Stack Insecurity