Projects - Active
| Filter: | All projects | Highlights | Active | Commercial/external |
| Domains: | Static analysis | Security/Reverse-engineering | WP8 | WP7 | WM | ELFPack | Compilers | Containerization | Networking | IoT |
| Platforms: | Windows | Linux | Mac | WP8 | WP7 | WM | Sony Ericsson |
| CPU: | ARM | ARM64 | X86_64 | RISC-V (32 bit) | RISC-V (64 bit) | MIPS |
| Statistics: | ANTLR (1) | Assembler (14) | Bash (5) | C (89) | C# (30) | C++ (92) | Go (2) | Java (2) | Lua (2) | Python (10) | RuC (1) | Ruby (1) | Rust (9) | TeX (1 + 15) | VB.NET (7) |
bflat compiler for zkVM Compilers Active Highlights EXTERNAL
Compile C# applications into fully native riscv64 binaries.
.NET builds for riscv64 (zkVM) Compilers Active Highlights EXTERNAL
.NET distribution for fully native zkVM riscv64 compilation.
.NET builds for riscv32 (zkVM) Compilers Active Highlights EXTERNAL
.NET distribution for fully native zkVM riscv32 compilation.
Static analysis testing ensemble Static analysis Active
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
The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.
Analysis Server Protocol Static analysis Active Highlights Open-source
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
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
An attempt to make a unified ANTLR grammar for C/C++ types