News

We first present a static analysis based on a set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagation graph from the static analysis ...
Abstract: Exception handling mechanism in modern programming languages is frequently used to build robust systems. However, it presents more daze for software developers because of exception ...