Можно ли использовать анализ сажи без звонка Soot.Main.main (...)?

StackOverflow https://stackoverflow.com//questions/12703500

Вопрос

Я хочу использовать soot Для выполнения статического анализа программ Java, в том числе, например,График управления контроля.

Различные Учебники говорят, что «стандартный способ» для использования сажаСоздайте основной метод, в котором добавляют пользовательские преобразования в трубопровод SOOT , а затем вызовите SOOT.Main.main (...) :

public static void main(String[] args) {        
    PackManager.v().getPack("jtp").add(
         new Transform("jtp.gotoinstrumenter", GotoInstrumenter.v()));
    soot.Main.main(args);
}
.

Конечно, это имеет некоторые серьезные ограничения, если вы хотите использовать SOOT в чем-то еще, чем инструмент командной строки.Например, мне неясно, важно ли даже законно звонить основной метод SOOT более одного раза в программе.

Так что кто-нибудь знает возможность использовать инструменты анализа SOOT непосредственно через API, который немного более сложным?

Это было полезно?

Решение

Ответ да.В вашем главе вы можете настроить класс, с которым вы работаете:

configure("../yourClasspath/");
SootClass sootClass = Scene.v().loadClassAndSupport("className");
sootClass.setApplicationClass();

// Retrieve the method and its body
SootMethod m = c.getMethodByName("methodName");
Body b = m.retrieveActiveBody();

// Instruments bytecode
new YourTransform().transform(b);
.

После этого вы можете построить CFG и запустить некоторый анализ.

Следует метод Configure:

public static void configure(String classpath) {

        Options.v().set_verbose(false);
        Options.v().set_keep_line_number(true);
        Options.v().set_src_prec(Options.src_prec_class);
        Options.v().set_soot_classpath(classpath);
        Options.v().set_prepend_classpath(true);

        PhaseOptions.v().setPhaseOption("bb", "off");
        PhaseOptions.v().setPhaseOption("tag.ln", "on");
        PhaseOptions.v().setPhaseOption("jj.a", "on");
        PhaseOptions.v().setPhaseOption("jj.ule", "on");

        Options.v().set_whole_program(true);
    }
.

Лицензировано под: CC-BY-SA с атрибуция
Не связан с StackOverflow
scroll top