Maxim Menshikov

Static analysis reseacher and startup founder


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

Date: 2020-2021

Languages: Bash, Python

CPU: X86_64, ARM, MIPS

Platforms: Windows, Linux, Mac