Static Exception Checker for Java Programs
Loading...
Author(s)
Nikolenko, Liubov
Advisor(s)
Harris, William
Editor(s)
Collections
Supplementary to:
Permanent Link
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
2017-12
Extent
Resource Type
Text
Resource Subtype
Undergraduate Thesis