Refining assembly code static analysis for the Intel MCS-51 microcontroller | IEEE Conference Publication | IEEE Xplore