Papers

AI increases code volume faster than verification quality, so it can ship more defects, not fewer. The article argues for wrapping AI around deterministic tools such as testing engines and static analyzers, with a curated feedback loop between them.

Which service models can be used in static analyzers? Is it possible to develop model suitable for more use cases?

The paper about classification of abstractions used in static analyzers.

The paper about approaches used when testing static analysis frameworks.

The paper about the IR developed for Equid framework.

How to make translation to intermediate representation more effective? I suggest a tiny improvement to typical DFS-based algorithm that improves performance.

The paper about Analysis Server Protocol used across Equid framework.

A paper about my static analysis framework.

A talk about Windows Phone 7 full unlock architecture.

A talk about architecture of static analysis for RuC programming language.

A paper about NoSQL approach for storing semantic data plus mechanisms to unload unneeded data and reload when needed.

Virtual machine for static analysis and the mechanism to distribute the load across the cluster.

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.

What if MapReduce model could be applied to static analysis? This paper describes how it can be done.

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.

The first (naive) paper about static analysis and how to organize collection of execution contexts.