Блог

Что я понимаю, так это то, что Сажа выполняет программный анализ байт-кода.

Однако у меня неполный или слегка ошибочный код, подобный следующему, где тип возвращаемого значения для метода неверен:

 class D {

    public void m1() {
        int total = 0;
        for(int i = 0; i < 10; i  ) {
            total  = i;
        }
        return total;
    }

}
 

Сможет ли Soot выполнить анализ программы на частично завершенном коде или слегка ошибочном коде?