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) | Assembly (1) | Bash (5) | C (92) | C# (31) | C++ (94) | Go (2) | Java (2) | Lua (2) | Python (10) | RuC (1) | Ruby (1) | Rust (11) | TeX (1 + 15) | VB.NET (7) |
libziskos for bflatCompilersActiveHighlightsExternalOpen-source
Ziskos for bflat
bflat compiler for zkVMCompilersActiveHighlightsExternalOpen-source
Compile C# applications into fully native riscv64 binaries.
.NET builds for riscv64 (zkVM)CompilersActiveHighlightsExternalOpen-source
.NET distribution for fully native zkVM riscv64 compilation.
.NET builds for riscv32 (zkVM)CompilersActiveHighlightsExternal
.NET distribution for fully native zkVM riscv32 compilation.
Static analysis testing ensembleStatic analysisActive
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 analysisActiveOpen-source
The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.
Analysis Server ProtocolStatic analysisActiveHighlightsOpen-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 frameworkStatic analysisActiveHighlightsOpen-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-grammarStatic analysisActiveOpen-source
An attempt to make a unified ANTLR grammar for C/C++ types