search

themaplelab / averroes

Java bytecode generator for sound and precise partial program analysis
Eclipse Public License 2.0
23 stars 7 forks source link

multiple main classes #5

Open zhangzhenkai opened 8 years ago

zhangzhenkai commented 8 years ago

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

karimhamdanali commented 8 years ago

Hi Zhenkai,

Adding multiple main methods sounds like a nice enhancement to add to averroes. I have self-assigned this feature to myself. I don't think I'll get to it until 2 weeks or so though.

As for the callbacks that are not reachable from main(), I'm currently working on a newer version of Averroes that supports framework-based applications. I think that might solve your problem. The release of that version is currently planned for late summer.

thanks, Karim

zhangzhenkai commented 8 years ago

That will be awesome! Thank you, Karim!