Maxim Menshikov

Static analysis researcher and software engineer

Custom static analyzer for router software Commercial EXTERNAL

Since we had a host controller driver which was fatally flawed regarding locking, I've made a custom static analyzer to deal with locking problems. It was based on Roslyn patched to support C.

Date: 2015

Languages: C#

Platforms: Linux, Windows

Roles: Senior Software Engineer