Skip to content

Commit 8ce527a

Browse files
mario-camposmario-campos
authored
Merge branch 'danmar:main' into mario-campos/sarif
2 parents 8fdaa05 + 3136a50 commit 8ce527a

49 files changed

Lines changed: 777 additions & 207 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎cfg/gnu.cfg‎

Lines changed: 108 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -530,6 +530,114 @@
530530
</arg>
531531
<leak-ignore/>
532532
</function>
533+
<!-- https://man7.org/linux/man-pages/man3/gethostbyaddr_r.3.html -->
534+
<!-- int gethostbyaddr_r(const void *addr, socklen_t len, int type, struct hostent *restrict ret, char *restrict buf, size_t buflen, struct hostent **restrict result, int *restrict h_errnop); -->
535+
<function name="gethostbyaddr_r">
536+
<returnValue type="int"/>
537+
<noreturn>false</noreturn>
538+
<use-retval/>
539+
<pure/>
540+
<arg nr="1" direction="in">
541+
<not-uninit/>
542+
<not-null/>
543+
</arg>
544+
<arg nr="2" direction="in">
545+
<not-uninit/>
546+
<valid>0:</valid>
547+
</arg>
548+
<arg nr="3" direction="in">
549+
<not-uninit/>
550+
</arg>
551+
<arg nr="4" direction="out">
552+
<not-null/>
553+
</arg>
554+
<arg nr="5" direction="in">
555+
<not-uninit/>
556+
<not-null/>
557+
<minsize type="argvalue" arg="6"/>
558+
</arg>
559+
<arg nr="6" direction="in">
560+
<not-uninit/>
561+
<valid>0:</valid>
562+
</arg>
563+
<arg nr="7" direction="in">
564+
<not-null/>
565+
<not-uninit/>
566+
</arg>
567+
<arg nr="8" direction="in">
568+
<not-null/>
569+
<not-uninit/>
570+
</arg>
571+
</function>
572+
<!-- https://man7.org/linux/man-pages/man3/gethostbyname2_r.3.html -->
573+
<!-- int gethostbyname2_r(const char *name, int af, struct hostent *ret, char *buf, size_t buflen, struct hostent **result, int *h_errnop); -->
574+
<function name="gethostbyname2_r">
575+
<returnValue type="int"/>
576+
<noreturn>false</noreturn>
577+
<use-retval/>
578+
<pure/>
579+
<arg nr="1" direction="in">
580+
<not-uninit/>
581+
<not-null/>
582+
<strz/>
583+
</arg>
584+
<arg nr="2" direction="in">
585+
<not-uninit/>
586+
</arg>
587+
<arg nr="3" direction="out">
588+
<not-null/>
589+
</arg>
590+
<arg nr="4" direction="in">
591+
<not-uninit/>
592+
<not-null/>
593+
<minsize type="argvalue" arg="5"/>
594+
</arg>
595+
<arg nr="5" direction="in">
596+
<not-uninit/>
597+
<valid>0:</valid>
598+
</arg>
599+
<arg nr="6" direction="in">
600+
<not-null/>
601+
<not-uninit/>
602+
</arg>
603+
<arg nr="7" direction="in">
604+
<not-null/>
605+
<not-uninit/>
606+
</arg>
607+
</function>
608+
<!-- https://man7.org/linux/man-pages/man3/gethostbyname_r.3.html -->
609+
<!-- int gethostbyname_r(const char *name, struct hostent *ret, char *buf, size_t buflen, struct hostent **result, int *h_errnop); -->
610+
<function name="gethostbyname_r">
611+
<returnValue type="int"/>
612+
<noreturn>false</noreturn>
613+
<use-retval/>
614+
<pure/>
615+
<arg nr="1" direction="in">
616+
<not-uninit/>
617+
<not-null/>
618+
<strz/>
619+
</arg>
620+
<arg nr="2" direction="out">
621+
<not-null/>
622+
</arg>
623+
<arg nr="3" direction="in">
624+
<not-uninit/>
625+
<not-null/>
626+
<minsize type="argvalue" arg="4"/>
627+
</arg>
628+
<arg nr="4" direction="in">
629+
<not-uninit/>
630+
<valid>0:</valid>
631+
</arg>
632+
<arg nr="5" direction="in">
633+
<not-null/>
634+
<not-uninit/>
635+
</arg>
636+
<arg nr="6" direction="in">
637+
<not-null/>
638+
<not-uninit/>
639+
</arg>
640+
</function>
533641
<!-- https://www.gnu.org/software/libc/manual/html_node/Getopt-Long-Options.html#Getopt-Long-Options -->
534642
<!-- int getopt_long(int argc, char * const argv[],
535643
const char *optstring,

0 commit comments

Comments
 (0)