view mx.cmd @ 4652:bdf2eb70ef3e

Kill CallTargetNode and FrameState in killCFG to avoid keeping some invalid nodes alive
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 20 Feb 2012 19:19:12 +0100
parents 4023bae16d02
children 46c51b5d0abb
line wrap: on
line source

python mxtool/mx.py %*