|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <cwe_mapping.h>
Public Attributes | |
| const char * | sarif_id |
| const char * | short_description |
| std::vector< unsigned > | cwes |
| std::vector<unsigned> cwe_rule_t::cwes |
| const char* cwe_rule_t::sarif_id |
| const char* cwe_rule_t::short_description |