Division by zero analysis Phase name: jtp.DivisionByZeroAnalysis Checks if a division by zero is caused in some operation. If positive, logs a warning during the JTP (Jimple transformation pack) phase.