Problemunvalidated
strcpy(dst_name, output_filename) followed by strcat(dst_name, ".exe") — when the --force-exe-suffix option is enabled. Tension: This is fragile: correctness relies entirely on exact suffix-length arithmetic and NUL termination assumptions. Outcome: the code allocates dst_name with len+5 bytes.
c23efafe-b325-40b5-902d-2827fbe6a740
strcpy(dst_name, output_filename) followed by strcat(dst_name, ".exe") — when the --force-exe-suffix option is enabled. Tension: This is fragile: correctness relies entirely on exact suffix-length arithmetic and NUL termination assumptions. Outcome: the code allocates dst_name with len+5 bytes.