[Soot-list] getStartToJoin method in StartJoinFinder

[Arnab De]

Hi,
The getStartToJoin method in StartJoinFinder class returns a map from
Stmt to Stmt. In general, a start statement can have multiple
corresponding join statements and vice-versa. For example, in the
following code, both the start statements should map to same join
statement:

p.start();
c.start();
Thread t;
if(cond)
	t = p;
else
	t = c;
try {
	t.join();
} catch (InterruptedException e) {			
	e.printStackTrace();
}

Unfortunately, the analysis maps only p.start() to t.join(). Is this a
bug or does the analysis assume something about the code?

More specifically, I am interested in finding the set of the run
methods that may join at a join statement. Is there any way to get
this result?

Thanks and regards,
Arnab