Function cwe_checker_lib::analysis::expression_propagation::propagate_input_expression

pub fn propagate_input_expression(project: &mut Project)

Replaces variables by expressions that can be propagated within functions.

This is performed by a fixpoint computation and might panic, if it does not stabilize.