All instances of sb in privbind

CycleObjectsSource locationsSource events
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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)
PodWR Fre PodWR Fre__CPROVER_pipes, options<builtin-library>-close:38 <builtin-library>-close:35 test.c:105 /usr/include/stdlib.h:286W:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) R:__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 LATEX by HEVEA.