公开(公告)号：CN102236575A

公开(公告)日：2011-11-09

申请号：CN201110203365.0

申请日：2011-07-20

Applicant: 复旦大学

Inventor： 杨珉 ,  张源 ,  彭智俊 ,  朱东来

IPC: G06F9/45

Abstract: 本发明属于Java编译运行环境设计技术领域，具体为一种基于寄存器映射的动态编译方法。本发明利用RISC处理器拥有大量寄存器的特性，在动态编译阶段，以函数为粒度，将基于寄存器的Java字节码中所使用的虚拟寄存器和物理寄存器通过一一映射进行绑定；通过动态编译直接生成本地代码。本发明通过寄存器映射技术来完成Java程序编译工作，具有最优的动态编译的效果。

公开(公告)号：CN102737190B

公开(公告)日：2015-08-26

申请号：CN201210228277.0

申请日：2012-07-04

Applicant: 复旦大学

Inventor： 杨珉 ,  张源 ,  彭智俊

IPC: G06F21/62

Abstract: 本发明属于程序信息安全检测技术领域，具体为一种基于静态分析的Android应用日志中信息泄漏隐患的检测方法。方法分为预处理阶段、私密信息识别、信息流传播阶段及日志记录点检测阶段。本发明设计了一种将传统静态信息流分析技术与新兴移动平台操作系统编程模型相结合的安全检测策略，该策略主要针对现有移动应用商城，用以离线检测现有移动应用中的信息安全隐患，以防范程序中的安全性风险，从而确保商城中的应用质量。

公开(公告)号：CN102411513B

公开(公告)日：2013-10-16

申请号：CN201110227839.5

申请日：2011-08-10

Applicant: 复旦大学

Inventor： 杨珉 ,  张源 ,  彭智俊

IPC: G06F9/48

Abstract: 本发明属于Java编译运行环境设计技术领域，具体为一种工作于混合模式执行引擎中的垃圾收集方法。本发明中的垃圾收集方法采用经典的标记--清扫垃圾回收算法，整个垃圾回收过程分为如下三个阶段：线程挂起，扫描栈帧、建立根集合，采用标记--清扫算法进行垃圾对象的回收；其中，标记-清扫算法为两个阶段，分别为标记阶段和清扫阶段；当垃圾收集器完成垃圾回收后，将把所有线程上的垃圾回收标志位清零，使原先被挂起的线程得以继续运行，至此，完成一次完整的垃圾收集过程。本发明根据不同执行引擎异常处理特点，实现了Java虚拟机采用动态编译和解释器模式混合执行模式下的垃圾高效回收。

公开(公告)号：CN102411513A

公开(公告)日：2012-04-11

申请号：CN201110227839.5

申请日：2011-08-10

Applicant: 复旦大学

Inventor： 杨珉 ,  张源 ,  彭智俊

IPC: G06F9/48

Abstract: 本发明属于Java编译运行环境设计技术领域，具体为一种工作于混合模式执行引擎中的垃圾收集方法。本发明中的垃圾收集方法采用经典的标记--清扫垃圾回收算法，整个垃圾回收过程分为如下三个阶段：线程挂起，扫描栈帧、建立根集合，采用标记--清扫算法进行垃圾对象的回收；其中，标记-清扫算法为两个阶段，分别为标记阶段和清扫阶段；当垃圾收集器完成垃圾回收后，将把所有线程上的垃圾回收标志位清零，使原先被挂起的线程得以继续运行，至此，完成一次完整的垃圾收集过程。本发明根据不同执行引擎异常处理特点，实现了Java虚拟机采用动态编译和解释器模式混合执行模式下的垃圾高效回收。

公开(公告)号：CN102737190A

公开(公告)日：2012-10-17

申请号：CN201210228277.0

申请日：2012-07-04

Applicant: 复旦大学

Inventor： 杨珉 ,  张源 ,  彭智俊

IPC: G06F21/00

Abstract: 本发明属于程序信息安全检测技术领域，具体为一种基于静态分析的Android应用日志中信息泄漏隐患的检测方法。方法分为预处理阶段、私密信息识别、信息流传播阶段及日志记录点检测阶段。本发明设计了一种将传统静态信息流分析技术与新兴移动平台操作系统编程模型相结合的安全检测策略，该策略主要针对现有移动应用商城，用以离线检测现有移动应用中的信息安全隐患，以防范程序中的安全性风险，从而确保商城中的应用质量。

公开(公告)号：CN102262537A

公开(公告)日：2011-11-30

申请号：CN201110204556.9

申请日：2011-07-21

Applicant: 复旦大学

Inventor： 杨珉 ,  彭智俊 ,  张源

IPC: G06F9/44 ,  G06F11/14

Abstract: 本发明属于Java编译运行环境设计技术领域，具体为一种工作于混合模式执行引擎中的异常处理方法。本发明针对现有Java虚拟机中存在的多种执行引擎混合工作模式，根据不同执行引擎各自不同的特性制定相应的异常处理策略，从而提出一种新型的异常处理方法，包括寻找最先匹配的Catch块，通过函数调用获得某一异常所匹配的Catch块及Catch块所在函数的信息，将执行流程改变到此Catch块上，同时，栈的信息也要层层回退到此Catch块所在函数所对应的栈帧。本发明解决了多种执行引擎下的Java虚拟机中的异常处理问题。

公开(公告)号：CN102262537B

公开(公告)日：2014-10-29

申请号：CN201110204556.9

申请日：2011-07-21

Applicant: 复旦大学

Inventor： 杨珉 ,  彭智俊 ,  张源

IPC: G06F9/44 ,  G06F11/14

Abstract: 本发明属于Java编译运行环境设计技术领域，具体为一种工作于混合模式执行引擎中的异常处理方法。本发明针对现有Java虚拟机中存在的多种执行引擎混合工作模式，根据不同执行引擎各自不同的特性制定相应的异常处理策略，从而提出一种新型的异常处理方法，包括寻找最先匹配的Catch块，通过函数调用获得某一异常所匹配的Catch块及Catch块所在函数的信息，将执行流程改变到此Catch块上，同时，栈的信息也要层层回退到此Catch块所在函数所对应的栈帧。本发明解决了多种执行引擎下的Java虚拟机中的异常处理问题。