Different from Abstract Interpreter which abstractly
executes bytecode in secrecy level, our approach
determine the DUPs and then compute the
secrecy level. A method in bytecode the dependence
relationship among the variables does not change, so
the DUPs can be determined in advance. For the
fixed program such as API, the DUPs can be achieved
beforehand so as to avoiding repeating computing
while being invoked, Thus can save a lot of time on
the fly.
A prototype based on these techniques has been
implemented, however, the exception handling has
not been included in current version, and the DUP
library for Java API has not been built. These will
be the focus area in future research.