Resource leak
The system resource will not be reclaimed and reused, reducing the future availability of the resource. Leak of memory or pointers to system resources
/tools/checksum_bitflip/checksum_bitflip.c:75: RESOURCE_LEAK 138753 Returning handle opened by "open".
/tools/checksum_bitflip/checksum_bitflip.c:75: RESOURCE_LEAK 138753 Assigning: "fd" = handle returned from "open(filename, 0)".
/tools/checksum_bitflip/checksum_bitflip.c:77: RESOURCE_LEAK 138753 Resource "fd" is not freed or pointed-to in "fstat". [Note: The source code implementation of the function has been overridden by a builtin model.]
/tools/checksum_bitflip/checksum_bitflip.c:82: RESOURCE_LEAK 138753 Resource "fd" is not freed or pointed-to in "read".
/tools/checksum_bitflip/checksum_bitflip.c:109: RESOURCE_LEAK 138753 Handle variable "fd" going out of scope leaks the handle.