chord.main.class

[Ding]

Hi,

Is it possible to run analysis on a class that does not have a "public static void main"? 

Thanks!

Ding

[Ariel Rabkin]

Yes it can be done, but you need to do some work. In particular, you
have to tell Chord what's reachable and what abstract objects methods
can be invoked on.

I experimented with several approaches for my dissertation, where I
had to do this. The easy way to do this, honestly, is to synthesize a
stub main that calls the methods you need called. You can kinda-sorta
get by by fiddling with chord options and adjusting the analysis
datalog code, but really, stubs are the way to go.

--Ari

> --
> You received this message because you are subscribed to the Google Groups
> "chord-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to chord-discus...@googlegroups.com.
> To post to this group, send email to chord-...@googlegroups.com.
> Visit this group at http://groups.google.com/group/chord-discuss.
> For more options, visit https://groups.google.com/groups/opt_out.



--
Ari Rabkin asra...@gmail.com
Princeton Computer Science Department

[Ding]

I see. Make sense. I will try this. Thanks a lot Ari!

Ding