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.

Project Activity

See All Activity >

Categories

Security, QA Automation

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow bddshell

bddshell Web Site

Other Useful Business Software
Qrvey allows SaaS companies to create richer products and bring them to market faster Icon
Qrvey allows SaaS companies to create richer products and bring them to market faster

Our pre-built javascript widgets make it a snap to embed charts, reports and dashboards right into your app

Qrvey is a low code embedded analytics platform built to help SaaS providers by simplifying the process of putting analytics tools in the hands of all users as fast as possible.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of bddshell!

Additional Project Details

Operating Systems

Linux, BSD

Intended Audience

Developers, Quality Engineers

Programming Language

Unix Shell, Prolog, Java

Related Categories

Unix Shell Security Software, Unix Shell QA Automation Software, Prolog Security Software, Prolog QA Automation Software, Java Security Software, Java QA Automation Software

Registered

2005-08-10
Report inappropriate content