A framework for analyzing programs written in proprietary languages. - V. Krishna Nandivada; Mangala Gowri Nanda; Pankaj Dhoolia; Diptikalyan Saha; Anjan Nandy; Anup Ghosh (OOPSLA Companion, 2011)