Using the Executable Semantics for CFG Extraction and Unfolding | IEEE Conference Publication | IEEE Xplore