Projects - X86_64
| Filter: | All projects | Highlights | Active | Commercial/external |
| Domains: | Static analysis | Testing | Cybersecurity | Reverse-engineering | Development Tools | Operating systems & Embedded | Infrastructure |
| Platforms: | Windows | Linux | Mac | WM | WP7 | WP8 | ELFPack | 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 (93) | C# (32) | C++ (94) | Go (2) | Java (2) | Lua (2) | Python (11) | RuC (1) | Ruby (1) | Rust (11) | Shell (1) | TeX (1 + 15) | VB.NET (7) |
bflat-ts — Bflat Test SuiteDevelopment Tools, TestingActiveExternalOpen-source
Test suite for bflat, the ahead-of-time compiler that turns C# into small, self-contained native binaries. Built at Nethermind and run as part of their zero-knowledge testing environment.
bflat compiler for zkVMDevelopment ToolsActiveHighlightsExternalOpen-source
Compile C# applications into fully native riscv64 binaries.
Cloud Management UI for routersOperating systems & EmbeddedExternal
Router cloud management UI
Private network management project's UIOperating systems & EmbeddedExternal
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.
Private network management project plugins & processing engineOperating systems & EmbeddedExternal
Wrote a processing engine for a private network management project. It included writing the core (based on Isabelle), related plugins, deployment processes. The project is released.
Equestrian management platformOperating systems & Embedded
Management platform for the sport club based on Isabelle. This is a side project designed to simplify my own life.
ArvoreStatic analysis
Dynamic tree implementation which allows for advanced use cases - like state keeping.
Go parser for VisaoStatic analysis
Parsing for Go based on C++/Rust.
IsabelleOperating systems & Embedded
High-performant server for managing basically anything. Written in Rust for the highest performance and stability, it is successfully used in many projects.
EvolucaoStatic analysis
The static analysis orchestration server
fmtparserStatic analysisOpen-source
printf/scanf format parser
CastDevelopment ToolsOpen-source
Convert compile_commands.json to Atmel Studio projects
Equid IDE integrationStatic analysisExternal
Eclipse IDE integration for the Equid static analyzer.
Build traceStatic analysis, Reverse engineeringExternal
A project that is tracing the build on Linux, Windows and Mac and prepares configuration for the static analysis.
Native toolchain detectionStatic analysisExternal
Detect existing toolchains and their parameters
Minimal Message BrokerTesting, Operating systems & EmbeddedExternal
Message broker that can be installed to embedded software and used from Python test suite.
Wristband Test SuiteTestingExternal
A complete test suite for wristband software based on Robot Framework
Bluetooth emulatorTesting, Operating systems & EmbeddedExternal
Emulator of Bluetooth activity for a consumer electronics device
ParslrStatic analysis, TestingOpen-source
Test ANTLR grammars and prepare JUnit result XML from results. Useful in CI.
Static analysis testing ensembleStatic analysis, TestingActive
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
Recreate signatures of Clang's builtin functions.
Verification Example FrameworkStatic analysis, TestingActiveOpen-source
The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.
Analysis Server ProtocolStatic analysisActiveHighlightsOpen-source
The protocol that it is used to unite static analyzers and IDEs, not only for IDE tasks. Inspired by language server protocol
Wireguard CLIInfrastructure, Operating systems & EmbeddedOpen-source
A simple console interface for adding peers to Wireguard configuration files.
GostCodeInfrastructureOpen-source
Inject full source code listing to russian GOST documentation in Microsoft Office format, even if it is huge.
SLABInjectReverse engineering, Operating systems & EmbeddedOpen-source
Inject pages to SLAB caches in Linux. That may help improve performance and stability in memory-critical drivers in constrained environments.
SECCOMP for legacy kernelOperating systems & EmbeddedExternal
SECCOMP mechanism has been ported to older Linux to facilitate LXC integration.
Package Manager for router softwareOperating systems & EmbeddedExternal
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 softwareCybersecurity, Operating systems & EmbeddedExternal
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 softwareOperating systems & EmbeddedExternal
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 softwareOperating systems & EmbeddedExternal
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.
Refactoring of USB Host Controller DriverOperating systems & EmbeddedExternal
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 softwareCybersecurity, Operating systems & EmbeddedExternal
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 softwareCybersecurity, Operating systems & EmbeddedExternal
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).
OSBuilder8Reverse engineering, Windows Phone 8Highlights
ncsdusbReverse engineering, Windows Phone 8
The project which was a playground for Nokia Lumia (WP8) jailbreaks. Unfinished.
ffu-extractReverse engineering, Windows Phone 8
A tool to extract Windows Phone 8 FFU images.
WPBackupReverse engineering, Windows Phone 7HighlightsOpen-source
Back up all important data from fully unlocked Windows Phone 7 devices.
HTC D000FF supportReverse engineering, Windows Phone 7
A part of OSBuilder for Windows Phone 7, a complete D000FF support was implemented to facilitate building of software images for HTC devices.
Remove Rich SignatureWindows Phone 7
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
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
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
A tool to get the complete size of OSBuilder packages.
Pattern SearchReverse engineering
High-performance binary pattern search utility