mole-report/pkg-privbind-irrwiw

All instances of irrwiw in privbind

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

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