Projects - Windows

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++ (85) \| Go (1) \| Java (2) \| Lua (2) \| Python (10) \| RuC (1) \| Ruby (1) \| Rust (3) \| TeX (1 + 15) \| VB.NET (7)

Visao Static analysis

2022-08-01
Rust

The static analysis orchestration server

fmtparser Static analysis Open-source

2021-11-05
C

printf/scanf format parser

Cast Uncategorized projects Open-source

2021-10-01
Python

Convert compile_commands.json to Atmel Studio projects

Equid IDE integration Commercial EXTERNAL

2021-08-01
Java

Eclipse IDE integration for the Equid static analyzer.

Build trace Static analysis EXTERNAL

2021-06-01
C, C++

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

2021-06-01
C, C++

Detect existing toolchains and their parameters

Minimal Message Broker Commercial EXTERNAL

2021-05-01
C, C++, Python

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

Parslr Static analysis Open-source

2021-02-21
Python

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

Static analysis testing ensemble Static analysis Active

2021-01-09
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

2021-01-05
C++

Recreate signatures of Clang's builtin functions.

Verification Example Framework Static analysis Active Open-source

2021-01-04
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

2021-01-04
C, C++

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

GostCode Uncategorized projects Open-source

2020-09-14
C#

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

Corporate infrastructure Uncategorized

2020-09-01
Bash

A complete infrastructure was built for the commercial company.

Corporate infrastructure for my company Uncategorized

2020-07-01
Bash

A complete infrastructure was built for my company.

Improvements in RuC language Uncategorized Open-source

2019-07-19
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.

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

2019-07-02
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.

Race Researcher Static analysis

2016-06-06
C#

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

Codename Race Static analysis Highlights

2016-06-06
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 software Commercial EXTERNAL

2015-09-02
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.

OSBuilder8 Windows Phone 8 Highlights

2014-03-25
C#, C++

ncsdusb Windows Phone 8

2013-07-01
C++, C#

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

ffu-extract Windows Phone 8

2013-06-03
C++

A tool to extract Windows Phone 8 FFU images.

WPBackup Windows Phone 7 Highlights Open-source

2012-11-23
C#, C++

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

HTC D000FF support Windows Phone 7

2012-04-16
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.

InitFlashFilesFix Windows Mobile

2011-10-12
C, C++

A tool for OSBuilder-based kitchens that fixes InitFlashFiles issues

ImgfsFromDump for OSBuilder Windows Mobile Highlights

2011-02-04
C++

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

Remove Rich Signature Windows Phone 7

2011-01-27
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.

ResourcePacker Windows Mobile Open-source

2009-12-01
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.

DevHealthAnalyzer Windows Mobile Open-source

2009-11-27
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 Analyzer Windows Mobile Open-source

2009-09-15
VB.NET

A tool to get the complete size of OSBuilder packages.

Pattern Search Windows

2006-02-01
C#

High-performance binary pattern search utility