Projects - Active

Filter:	All projects \| Highlights \| Active \| Commercial/external
Domains:	Static analysis \| Testing \| Cybersecurity \| Reverse-engineering \| Development Tools \| Operating systems & Embedded \| Infrastructure
Platforms:	Windows \| Linux \| Mac \| WM \| WP7 \| WP8 \| ELFPack \| Sony Ericsson
CPU:	ARM \| ARM64 \| X86_64 \| RISC-V (32 bit) \| RISC-V (64 bit) \| MIPS
Statistics:	ANTLR (1) \| Assembler (14) \| Assembly (1) \| Bash (5) \| C (93) \| C# (32) \| C++ (94) \| Go (2) \| Java (2) \| Lua (2) \| Python (11) \| RuC (1) \| Ruby (1) \| Rust (11) \| Shell (1) \| TeX (1 + 15) \| VB.NET (7)

bflat-ts — Bflat Test SuiteDevelopment Tools, TestingActiveExternalOpen-source

2026-03-22
C, C#, Python, Shell

Test suite for bflat, the ahead-of-time compiler that turns C# into small, self-contained native binaries. Built at Nethermind and run as part of their zero-knowledge testing environment.

libziskos for bflatDevelopment ToolsActiveHighlightsExternalOpen-source

2025-01-15
C#, C, C++, Assembly

Ziskos for bflat

bflat compiler for zkVMDevelopment ToolsActiveHighlightsExternalOpen-source

2025-01-15
C#, C, C++

Compile C# applications into fully native riscv64 binaries.

.NET builds for riscv64 (zkVM)Development ToolsActiveHighlightsExternalOpen-source

2025-01-15
C, C++

.NET distribution for fully native zkVM riscv64 compilation.

.NET builds for riscv32 (zkVM)Development ToolsActiveHighlightsExternal

2025-01-15
C, C++

.NET distribution for fully native zkVM riscv32 compilation.

Static analysis testing ensembleStatic analysis, TestingActive

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 FrameworkStatic analysis, TestingActiveOpen-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 ProtocolStatic analysisActiveHighlightsOpen-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 frameworkStatic analysisActiveHighlightsOpen-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-grammarStatic analysisActiveOpen-source

2018-11-11
ANTLR

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