get_all_std_unsafe_chains

rapx::analysis::safetyflow_analysis::chain

Function get_all_std_unsafe_chains 

Source 
pub fn get_all_std_unsafe_chains(
    tcx: TyCtxt<'_>,
    def_id: DefId,
) -> Vec<Vec<String>>
Expand description

DFS-based unsafe call chain analysis.

Starting from def_id, traverses all callees that are unsafe fn, collecting paths until a leaf (function with no unsafe callees) is reached.