bddshell

  •        0

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.

http://bddshell.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects