Maxim Menshikov
Static analysis reseacher and startup founder
Projects - Mac
| Filter: | All projects | Highlights | Active | Commercial/external |
| Domains: | Static analysis | Security/Reverse-engineering | WP8 | WP7 | WM | ELFPack | Containerization | Networking | IoT |
| Platforms: | Windows | Linux | Mac | WP8 | WP7 | WM | Sony Ericsson |
| CPU: | ARM | X86_64 | MIPS |
| Statistics: | ANTLR (1) | Assembler (14) | Bash (5) | C (85) | C# (29) | C++ (86) | Go (2) | Java (2) | Lua (2) | Python (10) | RuC (1) | Ruby (1) | Rust (8) | TeX (1 + 15) | VB.NET (7) |
fmtparser Static analysis Open-source
printf/scanf format parser
Cast Uncategorized projects Open-source
Convert compile_commands.json to Atmel Studio projects
Equid IDE integration Commercial EXTERNAL
Eclipse IDE integration for the Equid static analyzer.
Build trace Static analysis EXTERNAL
A project that is tracing the build on Linux, Windows and Mac and prepares configuration for the static analysis.
Native toolchain detection Static analysis EXTERNAL
Detect existing toolchains and their parameters
Minimal Message Broker Commercial EXTERNAL
Message broker that can be installed to embedded software and used from Python test suite.
Parslr Static analysis Open-source
Test ANTLR grammars and prepare JUnit result XML from results. Useful in CI.
Static analysis testing ensemble Static analysis Active
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
Recreate signatures of Clang's builtin functions.
Verification Example Framework Static analysis Active Open-source
The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.
Analysis Server Protocol Static analysis Active Highlights Open-source
The protocol that it is used to unite static analyzers and IDEs, not only for IDE tasks. Inspired by language server protocol
Improvements in RuC language Uncategorized Open-source
RuC is a research language created to resolve issues in C languages. My role in it is in consulting of project members and occasional fixes.
Visao - a static analysis framework Static analysis Active Highlights Open-source
A sophisticated tool for finding bugs and proving their absence in C/C++/Go code, this project aims at making analysis easy and worth to apply.
Race Researcher Static analysis
A graphical interface to Race static analyzer, allowing to quickly spot locking failures.
Codename Race Static analysis Highlights
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.