Projects - Windows

    Filter: All projects | Highlights | Active | Commercial/external
    Domains: Static analysis | Security/Reverse-engineering | WP8 | WP7 | WM | ELFPack | Compilers | Containerization | Networking | IoT
    Platforms: Windows | Linux | Mac | WP8 | WP7 | WM | Sony Ericsson
    CPU: ARM | ARM64 | X86_64 | RISC-V (32 bit) | RISC-V (64 bit) | MIPS
    Statistics: ANTLR (1) | Assembler (14) | Assembly (1) | Bash (5) | C (92) | C# (31) | C++ (94) | Go (2) | Java (2) | Lua (2) | Python (10) | RuC (1) | Ruby (1) | Rust (11) | TeX (1 + 15) | VB.NET (7)


    ACS API RSCommercialExternalOpen-source

    • Rust

    Auto Configuration Server controls in Rust


    Private network management project's UIStatic analysisExternal

    • Rust

    The UI for a private network management project written based on Isabelle platform and Yew framework. Coded pages logic, dashboards, and everything about it. The project is released.



    EvolucaoStatic analysis

    • Rust

    The static analysis orchestration server


    fmtparserStatic analysisOpen-source

    • C

    printf/scanf format parser


    CastUncategorized projectsOpen-source

    • Python

    Convert compile_commands.json to Atmel Studio projects


    Equid IDE integrationCommercialExternal

    • Java

    Eclipse IDE integration for the Equid static analyzer.


    Build traceStatic analysisExternal

    • C, C++

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



    Minimal Message BrokerCommercialExternal

    • C, C++, Python

    Message broker that can be installed to embedded software and used from Python test suite.


    ParslrStatic analysisOpen-source

    • Python

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


    Static analysis testing ensembleStatic analysisActive

    • 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).


    BuiltinizerStatic analysisOpen-source

    • C++

    Recreate signatures of Clang's builtin functions.


    Verification Example FrameworkStatic analysisActiveOpen-source

    • C, C++, RuC, Python

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


    Analysis Server ProtocolStatic analysisActiveHighlightsOpen-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


    GostCodeUncategorized projectsOpen-source

    • C#

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




    Improvements in RuC languageUncategorizedOpen-source

    • C

    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 frameworkStatic analysisActiveHighlightsOpen-source

    • C, C++, Python, Bash, Rust

    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 ResearcherStatic analysis

    • C#

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


    Codename RaceStatic analysisHighlights

    • 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.


    Custom static analyzer for router softwareCommercialExternal

    • C#

    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.


    OSBuilder8Windows Phone 8Highlights

    • C#, C++


    ncsdusbWindows Phone 8

    • C++, C#

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


    ffu-extractWindows Phone 8

    • C++

    A tool to extract Windows Phone 8 FFU images.


    WPBackupWindows Phone 7HighlightsOpen-source

    • C#, C++

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


    HTC D000FF supportWindows Phone 7

    • VB.NET, C#, C++

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


    InitFlashFilesFixWindows Mobile

    • C, C++

    A tool for OSBuilder-based kitchens that fixes InitFlashFiles issues


    ImgfsFromDump for OSBuilderWindows MobileHighlights

    • C++

    A very fast multi-threaded ImgfsFromDump for Windows Mobile used in OSBuilder.


    Remove Rich SignatureWindows Phone 7

    • C#

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


    ResourcePackerWindows MobileOpen-source

    • VB.NET

    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.


    DevHealthAnalyzerWindows MobileOpen-source

    • VB.NET

    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.


    Package Size AnalyzerWindows MobileOpen-source

    • VB.NET

    A tool to get the complete size of OSBuilder packages.


    Pattern SearchWindows

    • C#

    High-performance binary pattern search utility