Tag: cpscan detecting bugs caused by code pruning in iot kernels