Projects - Testing & QA
| 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
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.
Minimal Message BrokerTesting, Operating systems & EmbeddedExternal
Message broker that can be installed to embedded software and used from Python test suite.
Wristband Test SuiteTestingExternal
A complete test suite for wristband software based on Robot Framework
Bluetooth emulatorTesting, Operating systems & EmbeddedExternal
Emulator of Bluetooth activity for a consumer electronics device
ParslrStatic analysis, TestingOpen-source
Test ANTLR grammars and prepare JUnit result XML from results. Useful in CI.
Static analysis testing ensembleStatic analysis, TestingActive
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
The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.
Test Suite for C/C++/Java reversible debuggerTesting, Reverse engineeringExternal
A complete test suite for the C/C++/Java reversible debugger has been written under my supervision.