Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
Software Analysis
Computer program analysis is the process of automatically analyzing the behavior of computer programs. Our research work mainly focused on static analysis of program and tools for program understanding. Of particular interest is how to pick an effective algorithm for point-to analysis, both for java and c++.
Specific projects include:
- An Efficient Inclusion-Based Points-To Analysis for Java,
- A plug-in set of Eclipse, which provides program-related information, in order to gain more visible sight of the code and to help the developing process more feasible.