Static Exception Checker for Java Programs
MetadataShow full item record
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.