facebook / facebook/infer

C: strchr does not return null when looking for \0

Open
#43 4 comments 0 reactions 1 assignee Claimed by @dulmarod View on GitHub
c false-positive stale
Dominant language
OCaml
Stars
15.7k
Forks
2.1k
Avg merge
19h 36m
Merged PRs (30d)
13

Description

The model for strchr should handle the special case when looking for \0 in the string. The string terminator is considered part of the string so in this case we will not return null.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.