Contribution to Static Analyzer: Looking for "Good First Issues" (known_functions)

Hi,
I'm Virginia.
 I've been working on implementing kf_strcmp for the static analyzer for
practice. I noticed that in the latest experimental builds (16.0.1), there
is already a strcmp-1.c test case that passes, though I had trouble finding
the logic in kf.cc . I also did implement the kf_getenv function but I
figured out some contributor had already implemented it and it was accepted
for GCC 17 .

Since it seems strcmp and getenv are handled, I'd like to contribute by
implementing other missing  functions. Is there a priority list? I was
thinking of starting with strcasecmp, memcmp, or strrchr. Any guidance on
what is most needed for GCC 17 would be appreciated!

Best  Regards,
Virginia