A framework for analyzing programs written in proprietary languagesV. Krishna NandivadaMangala Gowri Nandaet al.2011SPLASH 2011