Function cwe_checker_lib::checkers::cwe_78::check_system_call_parameter

pub fn check_system_call_parameter(
    source_state: &State<BricksDomain>,
    pi_state: &State,
    system_symbol: &ExternSymbol,
    jmp_tid: &Tid,
    cwe_collector: &Sender<CweWarning>,
    log_collector: &Sender<LogMessage>,
    runtime_memory_image: &RuntimeMemoryImage
)

Checks the system call parameter given by the Bricks Domain.