All instances of coRW1 in sndfile-tools

CycleObjectsSource locationsSource events
PosRW Rfi__CPROVER_deallocatedsrc/sndfile-jackplay.c:212R:__CPROVER_deallocated (src/sndfile-jackplay.c:212 function main thread 0) W:__CPROVER_deallocated (src/sndfile-jackplay.c:212 function main thread 0)
PosRW Rfi__CPROVER_malloc_sizesrc/sndfile-jackplay.c:212R:__CPROVER_malloc_size (src/sndfile-jackplay.c:212 function main thread 0) W:__CPROVER_malloc_size (src/sndfile-jackplay.c:212 function main thread 0)
Rfi PosRW__CPROVER_malloc_is_new_arraysrc/sndfile-jackplay.c:212W:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0) R:__CPROVER_malloc_is_new_array (src/sndfile-jackplay.c:212 function main thread 0)
PosRW Rfi__CPROVER_deallocatedsrc/sndfile-jackplay.c:213R:__CPROVER_deallocated (src/sndfile-jackplay.c:213 function main thread 0) W:__CPROVER_deallocated (src/sndfile-jackplay.c:213 function main thread 0)
PosRW Rfi__CPROVER_malloc_sizesrc/sndfile-jackplay.c:213R:__CPROVER_malloc_size (src/sndfile-jackplay.c:213 function main thread 0) W:__CPROVER_malloc_size (src/sndfile-jackplay.c:213 function main thread 0)
PosRW Rfidisk_thread_locksrc/sndfile-jackplay.c:135R:disk_thread_lock (src/sndfile-jackplay.c:135 function disk_thread thread 0) W:disk_thread_lock (src/sndfile-jackplay.c:135 function disk_thread thread 0)
This document was translated from LATEX by HEVEA.