SecureCoding-5.43

Using character values that are indistinguishable from EOF

Required inputs: IR, StaticSemanticAnalysis

Rule description is currently unavailable for legal reasons.

Possible Messages

Key	Text	Severity	Disabled
unsafe_eof	‘EOF’ and ‘WEOF’ comparisons may be unsafe when sizeof(char) == sizeof(int).	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

functions_under_test

functions_under_test : set[bauhaus.analysis.config.QualifiedName] = {'fgetc', 'fgetwc', 'getc', 'getchar', 'getwc', 'getwchar'}

Function which comparison with EOF/WOEF might be unsafe.

 

limit_header_files

limit_header_files : set[str] = {'limits.h'}

Header files which declare following constants: UCHAR_MAX, UINT_MAX, WCHAR_MAX, WINT_MAX.