For the last two years, a community of security researchers have been contributing to CodeQL queries that formalize their security knowledge. Watch @bas_van_schaik and @xcorail explore this community at #GitHubUniverse right now!
http://githubuniverse.com/developers