|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <string>#include <string_view>#include <vector>Go to the source code of this file.
Classes | |
| struct | cwe_rule_t |
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 | ) |