How to analyse a specific method ?
fynch3r opened this issue · comments
I run an easy code:
public class IFDSDemo {
public static void main(String[] args) {
int x = secret();
int y = 0;
y = foo(x);
print(y);
}
private static void print(int y) {
System.out.println(y);
}
private static int secret() {
return 88;
}
private static int foo(int p){
return p;
}
}
I use the wiki way to analysis.
I wonder that how to analyse a specific method as an entry method.
Because I find that the wiki says:
// Set the main class of the application to be analysed
Options.v().set_main_class(mainClass);
I think that heros must has a way to implement of specific functions as entry points. If not , please tell me why. Thanks.
Please, I would appreciate some help.
Hi. You may want to look at the documentation of the Soot framework. Heros is using Soot to do class loading and call-graph construction.
In heros IFDS, you need to give some seeds to start the analysis.