check_function_pointer_safety

rusty_cpp::analysis::function_pointer_safety

Function check_function_pointer_safety 

Source 
pub fn check_function_pointer_safety(
    function: &Function,
    function_safety: SafetyMode,
    known_safe_functions: &HashMap<String, SafetyMode>,
) -> Vec<String>
Expand description

Check function pointer safety in a parsed function

This checks:

  1. SafeFn assignments have @safe targets
  2. Raw function pointer calls require @unsafe
  3. UnsafeFn::call_unsafe() requires @unsafe