Projects - Static Analysis

C

Arvore

Static analysis

Dynamic tree implementation which allows for advanced use cases - like state keeping.

Rust

Evolucao / Web

Static analysis

The frontend for the static analysis orchestration server

Rust

Evolucao

Static analysis

The static analysis orchestration server

C

fmtparser

Static analysisOpen source

printf/scanf format parser

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.

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, 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.

ANTLR

type-grammar

Static analysisActiveOpen source

An attempt to make a unified ANTLR grammar for C/C++ types

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.

C#

Codename Race Cloud

Static analysis

Managed API for cloud usage of "Codename Race" static analyzer

C#

Custom static analyzer for router software

Static analysisOperating systems & EmbeddedExternal

Since we had a host controller driver which was fatally flawed regarding locking, I've made a custom static analyzer to deal with locking problems. It was based on Roslyn patched to support C.