mole-report/pkg-privbind-r

All instances of r in privbind

Cycle	Objects	Source locations	Source events
PodWW Wse PodWR Fre	__CPROVER_pipes, options	<builtin-library>-close:38 test.c:105 /usr/include/stdlib.h:286	W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 1) W:options (test.c:105 function perform_bind thread 1) R:options (/usr/include/stdlib.h:286 function atoi thread 0)
PodWW Wse PodWR Fre	__CPROVER_pipes, options	<builtin-library>-close:38 test.c:105 /usr/include/stdlib.h:286	W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 1) W:options (test.c:105 function perform_bind thread 1) R:options (/usr/include/stdlib.h:286 function atoi thread 0)
PodWW Wse PodWR Fre	__CPROVER_pipes, options	<builtin-library>-close:38 test.c:105 /usr/include/stdlib.h:286	W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 1) W:options (test.c:105 function perform_bind thread 1) R:options (/usr/include/stdlib.h:286 function atoi thread 0)
PodWW Wse PodWR Fre	__CPROVER_pipes, options	<builtin-library>-close:38 test.c:105 /usr/include/stdlib.h:286	W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 1) W:options (test.c:105 function perform_bind thread 1) R:options (/usr/include/stdlib.h:286 function atoi thread 0)
PodWW Wse PodWR Fre	__CPROVER_pipes, options	<builtin-library>-close:38 test.c:105 /usr/include/stdlib.h:286	W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 1) W:options (test.c:105 function perform_bind thread 1) R:options (/usr/include/stdlib.h:286 function atoi thread 0)

This document was translated from L^AT_EX by H^EV^EA.