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.
Release Date:
Topic:
Operating System:
License:
Intended Audience:
Programming Language:
Registered:
Ratings and Reviews
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.
Project Feed
-
Code committed
akissinger committed patchset 14 of module bddshell to the bddshell CVS repository, changing 11 files -
Code committed
akissinger committed patchset 13 of module bddshell to the bddshell CVS repository, changing 9 files -
Added "One Big Jar" Install Method
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.
-
Code committed
akissinger committed patchset 12 of module bddshell to the bddshell CVS repository, changing 3 files -
Code committed
akissinger committed patchset 11 of module bddshell to the bddshell CVS repository, changing 1 files -
Code committed
akissinger committed patchset 10 of module bddshell to the bddshell CVS repository, changing 1 files -
Code committed
-
Code committed
-
Code committed
-
Code committed
Rate and Review
Be the first person to add a text review.
Related Projects
bddshell Actions
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
