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.
Download bddshell
Project Admins:
akissinger, dwheeler
Operating System:
All POSIX (Linux/BSD/UNIX-like OSes)
License:
GNU Library or Lesser General Public License (LGPL)
Category:
Security, Quality Assurance
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest News
- Added "One Big Jar" Install Method 2005-08-29
- Initial Import and Release Descriptions 2005-08-19
Public Areas
-
Bugs
: (0 open / 0 total)
Bug Tracking System -
Support Requests
: (0 open / 0 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (1 open / 1 total)
Feature Request Tracking System - Public Forums : (2 messages in 2 forums)
- Mailing Lists : (0 total)
-
CVS Repository
: (0 commits,
14 reads)
Browse CVS
Most Active Projects in Category
Project Details
-
Project Admins :
akissinger
, dwheeler - Developers : 2
- Development Status : 3 - Alpha
- Intended Audience : Developers, Quality Engineers
- License : GNU Library or Lesser General Public License (LGPL)
- Operating System : All POSIX (Linux/BSD/UNIX-like OSes)
- Programming Language : Java, Prolog, Unix Shell
- Topic : Security, Quality Assurance
- Project UNIX name : bddshell
- Registered : 2005-08-10 13:36
- Activity Percentile (last week) : 92.74
- View project activity statistics
- View list of RSS feeds available for this project