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
