An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
Published in Electronic Notes in Theoretical Computer Science • Jul 1, 2007
Authors:,,
Mario F. Mendez
Jorge A. Navas
Manuel V. Hermenegildo
Abstract
Abstract interpretation has been widely used for the analysis of object-oriented languages and, in particular, Java source and bytecode. However, while most existing work deals with the problem of finding expressive abstract domains that track accurately the characteristics of a particular concrete ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!