|
| 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.
|
|
