Sample pograms served as examples to a static analysis tool