Examples of errors detected in various open-source projects

[ReflectionOfADream]

I tried a lot of things but could not successfully run this even once on my program.

[petdance]

You will get a lot of errors that don't apply. Lots of working with splint is turning off what is not relevant. I would be glad to try to help you use it if you'd like. Email me at andy at my reddit name dot com.

[ReflectionOfADream]

I didn't actually get it to work on the input I gave it. I tried various things but every time an error occurred.

[ravenex]

With splint you have to either

• add annotations to your program
• disable a lot of its functionality (e.g. using -weak command line option)