JVM run-time library can implement various security policies by calling the library functions of its own

one of the extremely important security policy requires that sensitive operations must be performed after access control permissions checks.Traditionally it relies manual analysis to ensure that the JVM run-time library satisfy this security policy.Java standard library

covering thousands of classes

tens of thousands of methods

is in rapid development and high-rate evolution.It is time-consuming and error-prone to analyze the security policy artificially.This paper presents a full automatic

efficient and rapid model detection method for evaluating that whether the JVM in compliance with this security policy.Scanning the byte code files of Java standard class library

generating control flow graph of the member methods

our method can work out method summary by taint analysis after defining detecting model and automatically detect the risky methods.