search for: javaclasscastexcept

...all, I am trying to remove some instanceof tests from bc code that is produced by vmkit. For instance: 1 if (o instanceof String) { 2 String s = (String)o; 3 } Vmkit seems to be inserting two tests into the bc code: one for the test in line 1, and another, implicit, that would lunch perhaps JavaClassCastException if the cast fails at runtime. Would it be possible for some of you guys more familiar with vmkit to explain me how it produces code for these casts and tests? I have separated two CFG's. The first here<http://www2.dcc.ufmg.br/laboratorios/llp/wiki/lib/exe/fetch.php?media=cfg_for_j2_.pd...