A framework for set-based analyses for Java Seminars/Workshops

Abstract

This talk will introduce several set-based analyses(SBA) for Java programs such as class analysis and exception analysis, and a framework for approximating expression-level SBAs. SBA at expression-level is not very practical for large Java programs, so that we need more practical analyses, even though they give us approximate solutions of expression-level SBA. In this talk, I will introduce a framework for SBAs for approximating expression-level SBA, and describe SBAs already introduced based on the framework.