ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cwe_mapping.cpp File Reference
#include <util/base/cwe_mapping.h>
#include <algorithm>
#include <map>
#include <string>
#include <string_view>
Include dependency graph for cwe_mapping.cpp:

Functions

const cwe_rule_t & cwe_rule_for (std::string_view comment)
std::vector< unsigned > cwe_for (std::string_view comment)
const cwe_rule_t & dead_code_cwe_rule ()
std::string format_cwe_list (const std::vector< unsigned > &ids)
std::string_view cwe_name (unsigned id)

Function Documentation

◆ cwe_for()

std::vector< unsigned > cwe_for ( std::string_view comment)

◆ cwe_name()

std::string_view cwe_name ( unsigned id)

◆ cwe_rule_for()

const cwe_rule_t & cwe_rule_for ( std::string_view comment)

◆ dead_code_cwe_rule()

const cwe_rule_t & dead_code_cwe_rule ( )

◆ format_cwe_list()

std::string format_cwe_list ( const std::vector< unsigned > & ids)