The rapid expansion of the Internet of Things (IoT) is transforming our national infrastructure and that of the whole world. 

Static analysis tools help developers ensure that porting will proceed as planned.