[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

CFG

Hi!

I was wondering why there are no explicit entry and exit nodes in Soot's
CFG implementations (UnitGraph).
Usually those are inserted. For the computation of dominator trees and
especially postdominator trees they are necessary to get a single tree.
For that purpose usually there is an edge from the entry directly to the
exit node.

Greetings,

--
Christian Hammer
E-Mail: mailto:hammer@fmi.uni-passau.de
WWW: http://www.infosun.fmi.uni-passau.de/st/staff/hammer/
PGP-Key: http://wwwkeys.de.pgp.net:11371/pks/lookup?search=0x969E653E