6 Jun 1999 23:00:27 -0400

Related articles |
---|

CFG construction for Java bytecode methods guy@orion.math.tau.ac.il (1999-06-06) |

Re: CFG construction for Java bytecode methods chase@world.std.com (David Chase) (1999-06-12) |

From: | guy@orion.math.tau.ac.il (Guy Laden) |

Newsgroups: | comp.compilers |

Date: | 6 Jun 1999 23:00:27 -0400 |

Organization: | School of Mathematical Sciences, Tel Aviv University, Israel |

Keywords: | Java, question |

Hi all,

Can one use the fact that a Java bytecode method has passed verification

to simplify the computation of _precise_ 'ret' instruction targets,

avoiding a flow analysis?

Thanks, Guy.

Post a followup to this message

Return to the
comp.compilers page.

Search the
comp.compilers archives again.