Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller | IEEE Conference Publication | IEEE Xplore