一种JAVA卡帧的边界检查方法

摘要

本发明公开一种JAVA卡帧的边界检查方法，属于智能卡技术领域。该方法包括：Java卡虚拟机执行应用的Java方法时，建立一个方法帧，并压入栈，记录方法帧的起始地址。同时记录两个范围：合法操作数范围和合法局部变量索引范围；Java卡虚拟机执行应用的Java方法内字节码时，获取其操作的栈数据类型。如果当前操作数据是局部变量，则判断局部变量索引是否在合法局部变量索引范围内,是则允许操作，否则抛出异常。如果当前操作数据是操作数，则判断操作数地址是否在合法操作数范围内,是则允许操作，否则抛出异常。本发明实现了Java卡的多应用安全管理。