Hi Karim,
We have to analyze several programs that have multiple main classes, say a program has U.V.Bar.main() and X.Y.Foo.main(). We want to find a way to specify all these main classes to let Averroes generate a single placeholder, like this format: -m U.V.Bar:X.Y.Foo
Also, we have some client-server programs, which have some callbacks that are not reachable from main(). Is there a way to let Averroes start not only from main() but also from any arbitrary methods?
Thanks,
Zhenkai
Hi Karim,
We have to analyze several programs that have multiple main classes, say a program has U.V.Bar.main() and X.Y.Foo.main(). We want to find a way to specify all these main classes to let Averroes generate a single placeholder, like this format: -m U.V.Bar:X.Y.Foo
Also, we have some client-server programs, which have some callbacks that are not reachable from main(). Is there a way to let Averroes start not only from main() but also from any arbitrary methods?
Thanks,
Zhenkai