This project does static analysis on a java bytecode.
It will predict, using bounded abstract interpretation, if there exist an input which can cause a method to throw an exception.
It does this until it reaches a fixpoint.
tools used: https://github.com/kalhauge/jvm2json