Maxim Menshikov

Static analysis researcher and software engineer

Projects


    Cast

    Convert compile_commands.json to Atmel Studio projects


    Parslr

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


    Static analysis testing ensemble

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


    Builtinizer

    Recreate signatures of Clang's builtin functions.



    Analysis Server Protocol

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


    Wireguard CLI

    A simple console interface for adding peers to Wireguard configuration files.


    GostCode

    Inject full source code listing to russian GOST documentation in Microsoft Office format, even if it is huge.



    type-grammar

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


    SLABInject

    Inject pages to SLAB caches in Linux. That may help improve performance and stability in memory-critical drivers in constrained environments.


    Race Researcher

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


    Codename Race

    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.




    OemMarket

    An application to swap OEM stores on Windows Phone 7 without reboot.


    PolicyVisualizer

    A tool for Windows Phone 8 images which tries to find certain properties (say, bugs) within policies.


    ncsdusb

    The project which was a playground for Nokia Lumia (WP8) jailbreaks. Unfinished.


    ffu-extract

    A tool to extract Windows Phone 8 FFU images.


    HqTokens

    Reverse-engineered Windows Phone 7 tile management used for improving image quality.



    ClockHub

    Well-known project adding HTC-like Clock to Windows Phone 7 home screen. First featured in Dynamics (WP7).


    WPBackup

    Back up all important data from fully unlocked Windows Phone 7 devices.


    HTC D000FF support

    A part of OSBuilder for Windows Phone 7, a complete D000FF support was implemented to facilitate building of software images for HTC devices.




    Dynamics (WP7)

    Dynamics ROM is one of the most functional custom ROMs for Windows Phone 7. It is based on the latest OS version (7.10.8862 to be specific) and contains all existing language packs.


    uPlatformInterop

    Make Nokia Lumia applications compatible with other devices.


    Accelerometer Toggle

    An application to disable or enable accelerometer using internal Windows Phone 7 APIs.


    WLANFix for HTC WP7 devices

    In some cases WiFi gets broken on HTC Windows Phone 7 devices because the driver is in inappropriate state. This tool fixes that when applied on system boot.


    RingtoneMaker

    Make ringtones for the Windows Phone 7 without any limitations.




    Opera Mini for Windows Phone 7 port

    Unlock the ability to run the native Opera Mini on Windows Phone 7, which usually can't run unsigned native applications. That is implemented through API emulation layer.


    Relocation of Z-modules

    Windows Phone 7 XIP (kernel) modules have modules marked with Z flag. They require a special relocation handling. The procedure for this has been reverse-engineered, coded and incorporated to OSBuilder for Windows Phone 7.


    InitFlashFilesFix

    A tool for OSBuilder-based kitchens that fixes InitFlashFiles issues





    StartMenuLayout

    Choose between "hexagonal" layout and "grid" Start Menu layout on Windows Mobile.


    Squared Grid Start Menu

    A modification to Windows Mobile start menu that it makes it squared instead of hexagonal.


    Quick Launch

    Mini application aimed to be called on Search button call in Windows Phone 7, providing a set of quick settings.


    LoaderVerifier (uLV)

    The part of WP7 Full Unlock which disables executable file verification. Integrates with Account Manager to create seamless experience for the user.


    Account Manager

    The part of WP7 Full Unlock, this tool manages accounts on low level.


    uPolicyEngine (uPL)

    This part of WP7 full unlock manages atomic policy requests from the kernel. It disables checks for apps which are permitted to run without restrictions and integrates with Account Manager for the best user experience.


    Cloaking Filter (FsPerf)

    A part of WP7 Full Unlock which hides modified files from the kernel, allowing for Windows Update. Also, it improves performance via file system caching.


    Full Unlock

    Windows Phone 7 doesn't have an ability to run unsigned and/or native applications. That's the way to unlock these capabilities.


    Cache Instantiator

    A simple tool warming up the file system cache of Cloaking Filter (FsPerf)


    Device Selector

    The tool for OSBuilder-based WM6 kitchens that allows changing the active device.


    ScrollingMod

    Customizable Physics Engine for Windows Mobile 6.5. It allows changing various constants used when calculating scrolling in Start Menu and some other menus.


    Night Mode

    Decrease backlight beyond limits on SE XPERIA X1 to facilitate reading at night.


    XPERIA X1 display driver tearing fix

    The XPERIA X1 display driver had critical bugs which introduced stutter/tearing. This fix removes the stutter and makes the work much more comfortable.




    leddev

    Advanced LED patterns on SE XPERIA X1


    Lock service

    Automatic locking of SE XPERIA X1 device so that it doesn't hang.





    Native Windows Phone 7 API

    Native Windows Phone 7 API which can be used to start executables, change themes, use PageManager, manage tiles and a a lot more.


    Remove Rich Signature

    The tool to remove rich signatures from executable files and/or all executable files in .xap. This tool was heavily used in Dynamics ROMs.


    AndroidLauncher

    A minor tool from Dynamics ROM which auto starts Android by pressing the link in the start menu.


    uTask

    A sophisticated softkey reassignment tool for Windows Mobile 6.5.x. Also, fix position of old application windows completely automatically.



    xwinkey

    Configurable X button with LED effects on SE XPERIA X1


    Snooze Service

    Better alarm handling on Windows Mobile. Try avoiding common failures observed on SE XPERIA X1.


    Camera Launcher

    A minor tool in Dynamics ROM that replaces Sony Ericsson camera and allows changing default camera application.


    VibrationSrv

    The service in Dynamics ROM replaces not so useful silent mode with vibration mode.



    Music identification client

    The application for Windows Mobile that used external servers to identify the information about played music, such as title, artist, album, genre, etc.


    HTCSensorSDK for Sony Ericsson XPERIA X2

    HTCSensorSDK is widely used across different Windows Mobile applications and games. It allows using accelerometer data. This is the port of HTC's library to Sony Ericsson XPERIA X2 (non-HTC platform).


    Bluetooth Switch

    A minor tool from Dynamics ROM which changes the state of Bluetooth.


    WiFi Switch

    Minor tool from Dynamics ROM which changes the state of WiFi.


    ShutdownMenu

    Shutdown menu override. Enable flashlight, bluetooth, wifi, open camera/email/phone/etc by long press of Power Off button.


    ManilaSDK

    A small implementation of HTC Sense-style controls for Windows Mobile, used in projects across Dynamics ROMs


    TaskbarService

    The tool which colorizes taskbar during calls and other events.


    AlphaUC

    First-boot customization tool for Windows Mobile 6.x.


    SIPHook

    Show all keyboards in SIP menu when using HTC EzInput.


    ET9filter

    Input Method Editor (IME) that fixes Sony Ericsson XPERIA X1 keyboard incompatibility with IMEEngine.



    TweakTool

    A tool to configure Dynamics ROMs.


    ResourcePacker

    The tool can be used to pack resource-only files to a heavily reduced Portable Executable. That results in significant savings and may improve robustness on Windows Mobile 6.x devices by less exploitation of shared memory slots.



    DevHealthAnalyzer

    The tool to analyze virtual memory on Windows Mobile 6.x. Moreover, it gives understanding what to and how to improve in order to get better software robustness. It can be used to determine the most memory-hungry libraries. Then you can reversmod them (reversmodded libraries reserve less ram than recmodded ones) or make r/w sections shared to improve situation.




    Dynamics ROM

    A well-known ROM series for HTC HD2 and Sony Ericsson XPERIA X1 which changes how devices work and feel.



    SoftEdit

    An ELF used to edit AdvancedSoftkeys configuration


    AdvancedSoftkeys

    Change 2-button softkey layout to 3-button (like in newer Sony Ericsson A2 phones like K850, W995)



    ThemeUnpacker

    This ELF allows unpacking themes. Additionally, it cooperates with AdvancedSoftkeys and allows changing softkey themes.


    GPRSSessionInfo

    Simple tool for displaying GPRS session information when the session ends.




    EvtDesk

    Graphical desktop for EventControl.


    EvtEdit

    The event editor which comes with EventControl.


    EventControl

    Native ELF for Sony Ericsson devices which could be used to execute scenarios by date & time, GPS location and more.


    FlashLight

    Configurable flashlight app for Sony Ericsson