Maxim Menshikov
Static analysis reseacher and startup founder
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