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.
Be the first to post a text review of bddshell. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Now there is a simpler, more compact way to run bddshell or any of the BDD utilities. You can build one big jar (OBJ), via "make obj" and put that in your classpath, then run bddshell from anywhere. The real benefit of this is we can release snapshot JAR's, so you can be up and running pretty quickly. Hopefully I'll get the OBJ perfected soon and release one within a few days. Right now, its available only through CVS checkout.
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?
Thanks for your review!
Get credit for your review by logging in via OpenID. Click your account provider: