Projects - Containerization projects
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).
Verification Example Framework
The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.
Test Suite for C/C++/Java reversible debugger
A complete test suite for the C/C++/Java reversible debugger has been written under my supervision.
Visao - a static analysis framework
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.
Containerization support for router software
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.
Docker MIPS feasibility research
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.