Papers Review of Static Analyzer Service Models Research 2021-05-27 Which service models can be used in static analyzers? Is it possible to develop model suitable for more use cases? Systematization of abstractions for unified programming language and environment support in static code analyzers Research 2021-04-08 The paper about classification of abstractions used in static analyzers. Static analyzer debugging and quality assurance approaches Research 2021-01-18 The paper about approaches used when testing static analysis frameworks. Midair: An Intermediate Representation for Multi-purpose Program Analysis Research 2020-07-02 The paper about the IR developed for Equid framework. Effective translation of directed acyclic graphs to intermediate representation Research 2020-04-20 How to make translation to intermediate representation more effective? I suggest a tiny improvement to typical DFS-based algorithm that improves performance. Towards a Resident Static Analysis Research 2019-07-03 The paper about Analysis Server Protocol used across Equid framework. Equid – A Static Analysis Framework for Industrial Applications Research 2019-07-02 A paper about my static analysis framework. Windows Phone 7 full unlock architecture Research 2019-04-25 A talk about Windows Phone 7 full unlock architecture. Static analysis of RuC programs Research 2019-04-23 A talk about architecture of static analysis for RuC programming language. An approach to storing program semantics in static program analysis Research 2019-04-09 A paper about NoSQL approach for storing semantic data plus mechanisms to unload unneeded data and reload when needed. Scalable semantic virtual machine framework for language-agnostic static analysis Research 2018-09-10 Virtual machine for static analysis and the mechanism to distribute the load across the cluster. Design and testing of LXC-based virtualization system for resource-constrained MIPS devices Research 2018-04-14 How would LXC-based containerization system work in real life? How does it compare to raw hosts? That's what the paper will tell you. Applying MapReduce to static analysis Research 2017-04-05 What if MapReduce model could be applied to static analysis? This paper describes how it can be done. 5W+ 1H Static Analysis Report Quality Measure Research 2017-03-03 There are many good static analysis projects, but how comes not all of them are actually useful in real-world practice? This paper describes the concept of informational value in the defect report, which turns analysis results upside down. Function context detection in the program source code Research 2016-04-06 The first (naive) paper about static analysis and how to organize collection of execution contexts.