Thanks, I will try out the suggested programs. I don't care if Linux or Windows, have both running and use whatever does the job done.
I would already happy with a tool that gets plain C right. I just had another look at the code, haven't seen that many goto's since my days of programming BASIC on my Sharp E500s pocket calculator. Any help/tool/hint is appreciated.
Thomas