by akissinger, dwheeler
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.
akissinger committed patchset 14 of module bddshell to the bddshell CVS repository, changing 11 files
akissinger committed patchset 13 of module bddshell to the bddshell CVS repository, changing 9 files
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 ...
akissinger committed patchset 12 of module bddshell to the bddshell CVS repository, changing 3 files
akissinger committed patchset 11 of module bddshell to the bddshell CVS repository, changing 1 files
akissinger committed patchset 10 of module bddshell to the bddshell CVS repository, changing 1 files
akissinger committed patchset 9 of module bddshell to the bddshell CVS repository, changing 1 files
akissinger committed patchset 8 of module bddshell to the bddshell CVS repository, changing 3 files
akissinger committed patchset 7 of module bddshell to the bddshell CVS repository, changing 1 files
akissinger committed patchset 6 of module bddshell to the bddshell CVS repository, changing 2 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use