clean_file_pool() does not free memory in shared memory pools free list.

hbowden / nextgen

A Genetic File, Syscall and Network Fuzzer.

Other

58 stars 15 forks source link

clean_file_pool() does not free memory in shared memory pools free list. #4

Open hbowden opened 7 years ago

hbowden commented 7 years ago

clean_file_pool() has two tasks. One, close all the open file descriptors in the file pool. Second, free and set shared memory in the file pool to NULL. Currently any shared memory block in the pool's free list does not get freed or set to NULL, causing a test to fail.