| Cycle | Objects | Source locations | Source events |
| PosRW Rfi | optind | src/daemon.c:210 | R:optind (src/daemon.c:210 function main thread 0) W:optind (src/daemon.c:210 function main thread 0) |
| Rfi PosRW | __CPROVER_next_thread_id | <builtin-library>-pthread_create:33 | W:__CPROVER_next_thread_id (<builtin-library>-pthread_create:33 function pthread_create thread 0) R:__CPROVER_next_thread_id (<builtin-library>-pthread_create:33 function pthread_create thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-close:35 <builtin-library>-close:37 | R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:37 function close thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-close:38 <builtin-library>-close:35 | R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) |
| PosRW Rfi | __CPROVER_pipes | <builtin-library>-close:38 <builtin-library>-close:35 | R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) |
| Rfi PosRW | __CPROVER_pipes | <builtin-library>-close:38 | W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) R:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0) |
| PosRW Rfi | __CPROVER_malloc_size | src/daemon.c:313 | R:__CPROVER_malloc_size (src/daemon.c:313 function main thread 0) W:__CPROVER_malloc_size (src/daemon.c:313 function main thread 0) |
| PosRW Rfi | __CPROVER_deallocated | src/daemon.c:316 | R:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) W:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) |
| PosRW Rfi | __CPROVER_deallocated | src/daemon.c:316 | R:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) W:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) |
| PosRW Rfi | __CPROVER_deallocated | src/daemon.c:316 | R:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) W:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) |
| PosRW Rfi | __CPROVER_deallocated | src/daemon.c:316 | R:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) W:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) |
| PosRW Rfi | __CPROVER_deallocated | src/daemon.c:316 | R:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) W:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) |
| PosRW Rfi | __CPROVER_deallocated | src/daemon.c:316 | R:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) W:__CPROVER_deallocated (src/daemon.c:316 function main thread 0) |