Function cwe_checker_lib::checkers::cwe_78::check_if_string_domain_indicates_vulnerability

pub fn check_if_string_domain_indicates_vulnerability(
    input_domain: BricksDomain,
    jmp_tid: &Tid,
    sub: &Term<Sub>,
    system_symbol: &ExternSymbol,
    cwe_collector: &Sender<CweWarning>
)

Checks if the Bricks Domain indicates a vulnerability at the system call.