bddshell is a command line program for analyzing
software for things such as security
vulnerabilities. It has a program for installing
components, such as bddbddb and joeq, and a "front
end" that runs the components in the right order.
It currently analyzes Java class files.