Module cwe_checker_lib::utils::graph_utils

Helper functions for common tasks utilizing the control flow graph of the binary.

Functions

• is_sink_call_reachable_from_source_call
  Check whether a call to the sink_symbol is reachable from the given source_node through a path of intraprocedural edges in the control flow graph.