Projects - Mac

C

fmtparser

Static analysisOpen source

printf/scanf format parser

Python

Cast

Development ToolsOpen source

Convert compile_commands.json to Atmel Studio projects

Java

Equid IDE integration

Static analysisExternal

Eclipse IDE integration for the Equid static analyzer.

C, C++

Build trace

Static analysisReverse engineeringExternal

A project that is tracing the build on Linux, Windows and Mac and prepares configuration for the static analysis.

C, C++, Python

Minimal Message Broker

TestingOperating systems & EmbeddedExternal

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

Python

Parslr

Static analysisTestingOpen source

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

Bash, Python

Static analysis testing ensemble

Static analysisTestingActive

Testing static analysis projects is hard. This project aims to serve as a bridge between Continuous Integration (CI) and Verification Example Framework (VEF).

C++

Builtinizer

Static analysisOpen source

Recreate signatures of Clang's builtin functions.

C, C++, RuC, Python

Verification Example Framework

Static analysisTestingActiveOpen source

The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.

C, C++

Analysis Server Protocol

Static analysisActiveHighlightOpen source

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

C

Improvements in RuC language

Development ToolsOpen source

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.

C, C++, Python, Bash, Rust

Visao - a static analysis framework

Static analysisActiveHighlightOpen source

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.

C#

Race Researcher

Static analysis

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

C#

Codename Race

Static analysisHighlight

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.