Maxim Menshikov

Static analysis researcher and software engineer

Projects - Static Analysis

    Visao / Web Static analysis

    • Rust

    The frontend for the static analysis orchestration server

    Visao Static analysis

    • Rust

    The static analysis orchestration server

    fmtparser Static analysis Open-source

    • C

    printf/scanf format parser

    Build trace Static analysis EXTERNAL

    • C, C++

    A project that is tracing the build on Linux, Windows and Mac and prepares configuration for the static analysis.

    Parslr Static analysis Open-source

    • Python

    Test ANTLR grammars and prepare JUnit result XML from results. Useful in CI.

    Static analysis testing ensemble Static analysis Active

    • Bash, Python

    Testing static analysis projects is hard. This project aims to serve as a bridge between Continuous Integration (CI) and Verification Example Framework (VEF).

    Builtinizer Static analysis Open-source

    • C++

    Recreate signatures of Clang's builtin functions.

    Verification Example Framework Static analysis Active Open-source

    • C, C++, RuC, Python

    The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.

    Analysis Server Protocol Static analysis Active Highlights Open-source

    • C, C++

    The protocol that it is used to unite static analyzers and IDEs, not only for IDE tasks. Inspired by language server protocol

    Equid - a static analysis framework Static analysis Active Highlights Open-source

    • C, C++, Python, Bash

    A sophisticated tool for finding bugs and proving their absence in C/C++ code, this project aims at making analysis easy and worth to apply.

    type-grammar Static analysis Active Open-source

    • ANTLR

    An attempt to make a unified ANTLR grammar for C/C++ types

    Race Researcher Static analysis

    • C#

    A graphical interface to Race static analyzer, allowing to quickly spot locking failures.

    Codename Race Static analysis Highlights

    • C#

    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.

    Codename Race Cloud Static analysis

    • C#

    Managed API for cloud usage of "Codename Race" static analyzer