bddshell - A Frontend for Deductive Program Analysis

bddshell provides a front-end to a number of other utilities (bddbddb, Joeq, SEBDD, etc.) which employ deductive database techniques to analyze large bodies of information. The primary focus of bddshell is using such utilities for vulnerability detection in Java applications. However, functionality is being added as various projects have need. Since bddbddb is the core driving application for bddshell, the bddshell code may at some point be incorperated into that project.