bddshell

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 >

License

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

Follow bddshell

bddshell Web Site

Other Useful Business Software

One Monitoring Tool for IT, OT and Cloud | Free Trial

Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.

Try PRTG Free

Rate This Project

User Reviews

Be the first to post a review of bddshell!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Developers, Quality Engineers

Programming Language

Java, Prolog, Unix Shell

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

Similar Business Software

Criminal IP

Criminal IP is a cyber threat intelligence solution that provides decision-ready threat intelligence, and attack surface management solutions to security teams worldwide. By continuously scanning the global internet, Criminal IP aggregates and contextualizes threat signals across IPs, domains,...

See Software
Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
Aikido Security

Secure your code, cloud, and runtime in one central system. Aikido’s all-in-one security platform is loved by developers and security teams alike with full security visibility, insight in what matters most, and fast/automatic vulnerability fixes. Teams get security done with Aikido thanks...

See Software
Unimus

Unimus is a powerful, on-premise Network Automation and Configuration Management (NCM) solution designed for fast deployment and ease of use. As one of the most versatile NCM solutions available, it simplifies network management with features such as: 🔹Disaster Recovery – Automated...

See Software
Admin By Request Endpoint Privilege Management

Admin By Request EPM gives organizations control over who and what can elevate on their endpoints, without standing up servers, databases, or a dedicated admin team to run it. The model is least privilege: a user or an application receives the specific access its task requires and nothing more....

See Software
Highcharts

Highcharts is a JavaScript charting library that allows developers to create interactive and visually appealing charts for web applications. It offers a wide range of chart types, including line charts, bar charts, pie charts, scatter plots, and more. It also supports different types of data,...

See Software

Report inappropriate content