Looks like it's getting there as a good help for auditing code, especially to find security vulnerabilities.
