|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/base/cwe_mapping.h>#include <algorithm>#include <map>#include <string>#include <string_view>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) |
| std::vector< unsigned > cwe_for | ( | std::string_view | comment | ) |
| std::string_view cwe_name | ( | unsigned | id | ) |
| const cwe_rule_t & cwe_rule_for | ( | std::string_view | comment | ) |
| const cwe_rule_t & dead_code_cwe_rule | ( | ) |
| std::string format_cwe_list | ( | const std::vector< unsigned > & | ids | ) |