<div dir="ltr">Hello,<br>I am using Soot to generate shimple IR of some Java programs.<br><br>I would like to disable some phases, but I cannot understand how to do it.<br><br>Specifically, this is my analysis code:<br><br>    Options.v().set_process_dir(Collections.singletonList("/myjar.jar"));<br>    Options.v().set_output_format(Options.output_format_shimple);<br>    Options.v().setPhaseOption("jb.uce", "enabled:false"); // --> trying to disable the UnreachableCodeEliminator phase <br>    Options.v().set_verbose(true);<br><br>    Scene.v().loadNecessaryClasses();<br>    PackManager.v().runPacks();<br><br>    for(SootClass sc : Scene.v().getClasses()){<br>        //...<br>    }<br><br>In the code I try to disable the phase jb.uce (implemented in UnreachableCodeEliminator.java).<br><br>However, in the program output, I still see logging lines such as:<br>[<init>] Eliminating unreachable code...<br>which means that UnreachableCodeEliminator is still running.<br><br>What am I doing wrong?<br><br>Thanks<br><br><br></div>