Project List 2008:

 

1.   两种指针分析的实现与比较

2.   C语言中多种检测内存泄漏机制的简单实现

3.   Larf: A Soot Based Java Optimizer

4.   Refactoring Based On Static Profiling

5.   A Sample Implement of Confined Types

6.   Symbolic Executing Program Paths to Adaptively Generate Test Cases

7.   SSC-Based Liveness Analysis for SSA-Form Program

8.   增量构造call graph及多态分析

9.   一种基于有限状态自动机检测程序中时序调用缺陷的方法

10.   CFG Construction for AspectJ programs

 

Project List 2009:

 

编号

题目

1

软件流水的分析与设计

2

高层次综合中的指针解析

3

Efficient Alias Set Analysis Using SSA Form

4

Java 代码Bug侦测

5

Taint Analysis for Java

6

面向软件安全和防御的切片技术的实现

7

Certification of Programs for Secure Information Flow

8

提高函数调用关系图静态与动态分析的一致性