Module cwe_checker_lib::analysis::function_signature::stubs

This module contains stubs for frequently used LibC-symbols as well as helper functions for handling the effects of calls to these functions.

Modules

• return_value_stubs
  Helper functions for computing return values for extern symbol calls.

Functions

• compute_return_value_for_stubbed_function
  Compute the return value of a call to a known extern symbol from the given state.
• generate_param_access_stubs
  Returns a map that maps the names of known extern functions to the access patterns for their parameters.
• get_stubbed_variadic_symbols
  Return a map that maps names of stubbed variadic symbols to a tuple consisting of: