- exit(1) -> exit(EXIT_FAILURE) (splint warning) - NULL check of malloc has been added (splint warning)