On Sun, 2026-03-22 at 12:38 +0200, Virginia Hany wrote:
> Hi,
> I'm Virginia.

Hi 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?

There is no priority list, but other people have submitted patches for:
- atoi, atol, etc
- genenv
- mktemp, mkstemp, etc
- strnlen

>  I was
> thinking of starting with strcasecmp, memcmp, or strrchr. Any
> guidance on
> what is most needed for GCC 17 would be appreciated!

Any of those 3 sounds great.  Note that we already have kf_strchr, so
that might be relevant for implementing strrchr.

Thanks
Dave



> 
> Best  Regards,
> Virginia

Reply via email to