Flow analysis to detect blocked statements | IEEE Conference Publication | IEEE Xplore