Module cwe_checker_lib::utils::arguments

Handles argument detection by parsing format string arguments during a function call. (e.g. sprintf)

Functions

• calculate_parameter_locations
  Calculates the register and stack positions of format string parameters. The parameters are then returned as an argument vector for later tainting.
• get_input_format_string
  Parses the input format string for the corresponding string function.
• get_variable_parameters
  Returns an argument vector of detected variable parameters.
• parse_format_string_destination_and_return_content
  Parses the destiniation address of the format string. It checks whether the address points to another pointer in memory. If so, it will use the target address of that pointer read the format string from memory.
• parse_format_string_parameters
  Parses the format string parameters using a regex, determines their data types, and calculates their positions (register or memory).