There's CodeQL, but it seems to be mostly limited to security research (code review automation to find vulns). See: https://codeql.github.com/