Function find_call_by_callee

tests/test_extraction.c:3194–3201

Find an in-body call by its raw callee text; returns the call or NULL. */

/* Find an in-body call by its raw callee text; returns the call or NULL. */
static const CBMCall *find_call_by_callee(CBMFileResult *r, const char *callee) {
    for (int i = 0; i < r->calls.count; i++) {
        if (r->calls.items[i].callee_name && strcmp(r->calls.items[i].callee_name, callee) == 0) {
            return &r->calls.items[i];
        }
    }
    return NULL;
}

/* Issue #1006: JS/TS template-literal URLs must flatten ${...} substitutions
 * to the canonical "{}" placeholder, both as call arguments (HTTP_CALLS) and