Projects - Static Analysis

Filter:	All projects \| Highlights \| Active \| Commercial/external
Domains:	Static analysis \| Security/Reverse-engineering \| WP8 \| WP7 \| WM \| ELFPack \| Containerization \| Networking \| IoT
Platforms:	Windows \| Linux \| Mac \| WP8 \| WP7 \| WM \| Sony Ericsson
CPU:	ARM \| X86_64 \| MIPS
Statistics:	ANTLR (1) \| Assembler (14) \| Bash (5) \| C (85) \| C# (29) \| C++ (85) \| Go (1) \| Java (2) \| Lua (2) \| Python (10) \| RuC (1) \| Ruby (1) \| Rust (3) \| TeX (1 + 15) \| VB.NET (7)

Arvore Cybersecurity, Static analysis

2023-08-30
C

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

Visao / Web Static analysis

2022-08-02
Rust

The frontend for the static analysis orchestration server

Visao Static analysis

2022-08-01
Rust

The static analysis orchestration server

fmtparser Static analysis Open-source

2021-11-05
C

printf/scanf format parser

Build trace Static analysis EXTERNAL

2021-06-01
C, C++

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

Native toolchain detection Static analysis EXTERNAL

2021-06-01
C, C++

Detect existing toolchains and their parameters

Parslr Static analysis Open-source

2021-02-21
Python

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

Static analysis testing ensemble Static analysis Active

2021-01-09
Bash, Python

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

Builtinizer Static analysis Open-source

2021-01-05
C++

Recreate signatures of Clang's builtin functions.

Verification Example Framework Static analysis Active Open-source

2021-01-04
C, C++, RuC, Python

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

Analysis Server Protocol Static analysis Active Highlights Open-source

2021-01-04
C, C++

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

Equid - a static analysis framework Static analysis Active Highlights Open-source

2019-07-02
C, C++, Python, Bash

A sophisticated tool for finding bugs and proving their absence in C/C++ code, this project aims at making analysis easy and worth to apply.

type-grammar Static analysis Active Open-source

2018-11-11
ANTLR

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

Race Researcher Static analysis

2016-06-06
C#

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

Codename Race Static analysis Highlights

2016-06-06
C#

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.

Codename Race Cloud Static analysis

2016-06-06
C#

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