ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cwe_rule_t Struct Reference

#include <cwe_mapping.h>

Public Attributes

const char * sarif_id
const char * short_description
std::vector< unsigned > cwes

Member Data Documentation

◆ cwes

std::vector<unsigned> cwe_rule_t::cwes

◆ sarif_id

const char* cwe_rule_t::sarif_id

◆ short_description

const char* cwe_rule_t::short_description

The documentation for this struct was generated from the following file: