Data flow analysis work over a control flow graph. When a language under consideration supports exceptions, control flow graph can explode.
What are the standard techniques for dealing with this blow-up? Can we soundly disregard edges induced by exception? Data flow analyses anyhow compute over-approximations, so we would end up with a less precise but sound solution. Is this true?
Update: Here are few useful links that I was able to dig out at the end: