Maxim Menshikov
Static analysis reseacher and startup founder
Projects - MIPS
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) |
Delta Cybersecurity, IoT
Small yet powerful device intrusion detection mechanism. It has a negligible footprint, it is very portable, and basically can be used anywhere, even in IoT devices.
Arvore Cybersecurity, Static analysis
Dynamic tree implementation which allows for advanced use cases - like state keeping.
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.
MediaTek SoC driver improvements Commercial EXTERNAL
Numerous issues in MediaTek SoC were fixed.
WiFi Mesh investigation Commercial EXTERNAL
Find and fix numerous issues in a commercial WiFi Mesh implementation.
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
Wireguard CLI Uncategorized projects Open-source
A simple console interface for adding peers to Wireguard configuration files.
SLABInject Uncategorized projects Open-source
Inject pages to SLAB caches in Linux. That may help improve performance and stability in memory-critical drivers in constrained environments.
SNULL LAN client emulation driver Commercial EXTERNAL
Prepared a complete driver for emulating LAN clients.
Cryptography support for router software Commercial EXTERNAL
Prepared cryptography improvements for router software.
SECCOMP for legacy kernel Commercial EXTERNAL
SECCOMP mechanism has been ported to older Linux to facilitate LXC integration.
Package Manager for router software Commercial EXTERNAL
A custom package manager has been coded for a commercial router software. It was based on opkg, but supported many additional features.
OpenVPN solution for router software Commercial EXTERNAL
A custom OpenVPN solution for Linux-based router software was architected, developed and made available publicly. Partially supports cryptography offloading and packet traffic acceleration.
Containerization support for router software Commercial EXTERNAL
A complete solution based on LXC has been written for commercial router. It was created with resource constraints in mind, so it actually could provide working containerization on a disk drive smaller than 30MB.
OverlayFS support for router software Commercial EXTERNAL
OverlayFS support has been implemented in Linux-based router software package. While the OverlayFS itself is a kernel's feature, a lot of efforts were put into making it supported on a complete solution level, with booting process altered, security, secure erase and other levels sorted out.
Docker MIPS feasibility research Commercial EXTERNAL
The Docker didn't have MIPS support back at that time, but the customer wanted to see it running. I investigated whether it is possible to port Docker (yes, it was), however, we stumbled upon Docker's design implications that prevented us from finishing the project.
WiFi driver fixes Commercial EXTERNAL
Fixed multiple issues in Atheros and Intel (Metalink) WiFi drivers.
Initial setup wizard interface for router software Commercial EXTERNAL
A new initial setup wizard was implemented for router software.
DWC2 USB driver port Commercial EXTERNAL
Ported DWC2 driver to a new platform, significantly improving stability and performance.
Refactoring of USB Host Controller Driver Commercial EXTERNAL
Host Controller Driver used in one of commercial SoCs has been fatally flawed. Fixing it was a major challenge, which required creation of a custom static analyzer.
IPSec solution for router software Commercial EXTERNAL
An L2TP/L2TP+IPSec solution for Linux-based router software was architected, developed and made available publicly. It also works with partial cryptography and packet traffic acceleration.
Certificate Store for router software Commercial EXTERNAL
I've architected and implemented a complete certificate store module for commercial router, which supported certificate/private key generation, import/export, verification against a private key. Still used without major edits (as of 2022).
Web interface backend optimization Commercial EXTERNAL
I've optimized web interface prefetching and loading got 7x performance boost.
Custom DynDNS client Commercial EXTERNAL
I've created a custom DynDNS client that is deployed to thousands of devices worldwide.