Using Propositional Calculas to Accurately Structure Control-Flow from Binary Executables | IEEE Conference Publication | IEEE Xplore