Codename Race Static analysis Highlights

• 2016-06-06

A static analyzer aimed at finding race conditions in the Linux code. It uses Lockset algorithm with sophisticated selection of executed function pairs, and it has proven to be quite useful in production. The C parsing has been implemented through Roslyn patches.

Date: 2014-2016

Languages: C#

Platforms: Windows, Linux, Mac