bddshell
alphaDescription
bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.
bddshell Web SiteUser Reviews
Be the first to post a review of bddshell!