AutosarC++17_03-A18.9.1

The std::bind shall not be used

Required inputs: IR

String-to-numeric conversions can fail silently, returning zero or an invalid value without indicating an error. Functions like std::atoi, std::atof, and std::strtol provide no portable error reporting. Use safe functions like std::stoi (which throws exceptions) or std::from_chars (which provides error codes) to properly detect and handle conversion failures.

Bad code (unsafe conversion):

std::string str = "not_a_number";
int value = std::atoi(str.c_str());   // ERROR: returns 0 silently
double d = std::atof(str.c_str());    // ERROR: returns 0.0 without reporting error
// No way to distinguish between "0" and failed conversion

Good code (using std::stoi with exception):

std::string str = "42";
try {
    int value = std::stoi(str);       // OK: throws on invalid format
    double d = std::stod(str);        // OK: throws on failure
} catch (const std::invalid_argument& e) {
    std::cerr << "Conversion failed: " << e.what() << std::endl;
}

Good code (using std::from_chars):

std::string str = "123";
int value;
auto [ptr, ec] = std::from_chars(str.data(), str.data() + str.size(), value);
if (ec == std::errc() && ptr == str.data() + str.size()) {
    // OK: conversion successful
} else {
    // Handle error explicitly
}

Good code (using strtol)

char *end;
const char* str = "123";
errno = 0;
const long value = strtol(str, &end, 10);
if (errno == 0 && str != end) {
    printf("value: %ld\n", value); // OK: conversion successful
} else {
    printf("conversion failed\n");
}

Possible Messages

Key	Text	Severity	Disabled
forbidden_libheader_symbol_use	Usage of forbidden entity std::bind from <{}>.	None	False

Options

• This rule shares the following common options: exclude_in_macros, exclude_messages_in_system_headers, excludes, extend_exclude_to_macro_invocations, includes, justification_checker, languages, post_processing, provider, report_at, severity

• The following places define options that affect this rule: Stylechecks, Analysis-GlobalOptions

included_headers

included_headers : bool = True

Whether the rule should also look in headers included by the configured symbol_header.

 

symbol_header

symbol_header : set[str] = set()

Name of the system or user header files of which the symbols should not be used.

 

symbols

symbols : set[bauhaus.analysis.config.QualifiedName] = {'std::bind'}

Names of symbols which are forbidden.

 

system_symbol_header

system_symbol_header : set[str] = {'functional'}

Name of the system header files of which the symbols should not be used.

 

translate_header_name

translate_header_name : bool = False

Whether to auto-translate the symbol_header (e.g. stdlib{.h} -> cstdlib).

 

user_symbol_header

user_symbol_header : set[str] = set()

Name of the user header files of which the symbols should not be used.