Maxim Menshikov

Static analysis researcher and software engineer

Codename Race

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: .NET