U.S. flag   An official website of the United States government
Dot gov

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Https

Secure .gov websites use HTTPS
A lock (Dot gov) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

National Vulnerability Database

National Vulnerability Database

NVD

National Vulnerability Database
  1. ProductsCPE

CPE Summary

Return to Search Listing

CPE Names

Version 2.3: cpe:2.3:a:btor2tools_project:btor2tools:2018-05-24:*:*:*:*:*:*:*

Version 2.2: cpe:/a:btor2tools_project:btor2tools:2018-05-24

Read information about CPE Name encoding

CPE Name Components Select a component to search for similar CPEs

Part:
a
Vendor:
btor2tools_project
Product:
btor2tools
Version:
2018-05-24

Quick Info

Created On:
05/06/2020
Last Modified On:
05/06/2020

Metadata

Titles:

Text Locale
Btor2Tools Project Btor2Tools 2018-05-24 en_US

References:

Type Description URL
Product https://github.com/Boolector/btor2tools

CPE Usage

View Vulnerabilities