Projects - Active

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++ (86) \| Go (2) \| Java (2) \| Lua (2) \| Python (10) \| RuC (1) \| Ruby (1) \| Rust (8) \| TeX (1 + 15) \| VB.NET (7)

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

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

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

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

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.

type-grammar Static analysis Active Open-source

2018-11-11
ANTLR

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