• Static Exception Checker for Java Programs 

      Nikolenko, Liubov
      The purpose of this study is to present a tool, that can check if programs, compiled to Java Virtual Machine bytecode, are exception safe. The tool performs static analysis of input programs by reducing the programs to ...