Module cwe_checker_lib::analysis::expression_propagation

This module contains a fixpoint computation for intra-procedual expression propagation and contains a function for inserting such expressions.

Structs

• Context
  The context struct for the expression propagation fixpoint computation.

Functions

• merge_def_assignments_to_same_var
  Merge subsequent assignments to the same variable to a single assignment to that variable.
• propagate_input_expression
  Replaces variables by expressions that can be propagated within functions.
• propagate_input_expressions
  Wherever possible, substitute input variables of expressions with the input expression that defines the input variable.