Title:
Static Exception Checker for Java Programs

Thumbnail Image
Author(s)
Nikolenko, Liubov
Authors
Advisor(s)
Harris, William
Advisor(s)
Editor(s)
Associated Organization(s)
Organizational Unit
Organizational Unit
Supplementary to
Abstract
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 Horn Clause systems and solving the generated systems in the automatic theorem prover. The current version of the tool is publicly available in the Bitbucket repository. The tool can be used for custom constraint verification, safety checking and Horn Clause reduction.
Sponsor
Date Issued
2017-12
Extent
Resource Type
Text
Resource Subtype
Undergraduate Thesis
Rights Statement
Rights URI