I tried my hands on fixing that bug. Original code was a bit intractable for me (my C is very rusty), but my version seems to work. More testing is welcome. I think there was also a potential buffer overflow bug that the patch fixes.
2009-05-10 22:49:37 UTC in Corewar