Comment by kelleyk

There are three "example programs" available on your website, but none of them are very interesting.

I'd love to see better examples of subtle problems that your tool can detect: the kind of thing where an engineer says "oof, yes, that's obvious now that you've pointed it out" but wouldn't have noticed it right away on their own.